http://sowa.livejournal.com/ ([identity profile] sowa.livejournal.com) wrote in [personal profile] siyuv 2009-01-15 08:06 am (UTC)

Беда в том, что я таки смотрел Ваши работы, и усматриваю в них больше связи с книгой Фрейда, нежели с книгой Спеньера. И не посмотреть предисловие к классической книжке, лежащей на том же сайте, что книга Келли, к которой Вы меня отсылали - это сильно удручающее отсутствие любопытства (как и с работами Серра, Гуревича, и Уайтхеда). О том, чтобы читать всю книгу, речи не было - хотя, наверное, она по-прежнему ценна, раз ее отобрали для выкладывания на том сайте.

Никакого скрытого смысла там нет - скрытый смысл пытаетесь найти Вы, а не я, постоянно подсовывая мне идею, что Фрейд под предметом изучения понимает категорию. Я думаю, что у него были все возможности сказать это, если бы он так думал, для придания книге пущей важности. Но он этого не сделал.

Как это К-теория вдруг оказалась очень новой областью? Ей примерно 50 лет, всего на 10 лет меньше, чем теории категорий. К-теория - действительно хорошая иллюстрация того, что Ваш подход не работает. Вот иллюстрация "с другого конца": гармонический анализ. Гомологическая алгебра действительно появилась до книги Картана-Эйленберга (скажем, работы Хопфа и Эйленберга-Маклейна 40-х годов безусловно к ней относятся), и предмет ее не ограничивается предметом книги Эйленберга-Маклейна. Скажем, есть производные функторы неаддитивных функторов, и мне даже неловко об этом писать.

Таким образом, Вы согласились с тем, что теория категорий не процветает. Грустный вывод, я надеялся на другой.

Разумеется, в какой-то момент любая наука начинает заниматься внутренними задачами. Но, видимо, важность этих внутренних идей в теории категорий еще не доказана - иначе бы она "процветала".

В целом, этот тред получился забавным. Мне теория категорий очень нравится, хотя я никоим образом не специалист, и мне удалось доказать Вам, специалисту, что она не процветает. Я думаю, что тут что-то не так - было неявно принято неправильное представление о том, что такое теория категорий. Но у нас с Вами с этим вообще трудно - мы не сходимся даже в базовых представлениях о том, что является предметом какой-то науки.

Я думаю, что Ньютон меня бы поддержал. Он-то занимался интересными приложениями метода флюксий, а дифференциальное исчисление придумал Лейбниц. В Британии полагали, что Лейбниц все украл, но, возможно, они сочли бы мою идею неплохим компромиссом - он не украл, а просто придумал нечто гораздо менее интересное, чем придуманное Ньютоном.

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting