Беда в том, что я таки смотрел Ваши работы, и усматриваю в них больше связи с книгой Фрейда, нежели с книгой Спеньера. И не посмотреть предисловие к классической книжке, лежащей на том же сайте, что книга Келли, к которой Вы меня отсылали - это сильно удручающее отсутствие любопытства (как и с работами Серра, Гуревича, и Уайтхеда). О том, чтобы читать всю книгу, речи не было - хотя, наверное, она по-прежнему ценна, раз ее отобрали для выкладывания на том сайте.
Никакого скрытого смысла там нет - скрытый смысл пытаетесь найти Вы, а не я, постоянно подсовывая мне идею, что Фрейд под предметом изучения понимает категорию. Я думаю, что у него были все возможности сказать это, если бы он так думал, для придания книге пущей важности. Но он этого не сделал.
Как это К-теория вдруг оказалась очень новой областью? Ей примерно 50 лет, всего на 10 лет меньше, чем теории категорий. К-теория - действительно хорошая иллюстрация того, что Ваш подход не работает. Вот иллюстрация "с другого конца": гармонический анализ. Гомологическая алгебра действительно появилась до книги Картана-Эйленберга (скажем, работы Хопфа и Эйленберга-Маклейна 40-х годов безусловно к ней относятся), и предмет ее не ограничивается предметом книги Эйленберга-Маклейна. Скажем, есть производные функторы неаддитивных функторов, и мне даже неловко об этом писать.
Таким образом, Вы согласились с тем, что теория категорий не процветает. Грустный вывод, я надеялся на другой.
Разумеется, в какой-то момент любая наука начинает заниматься внутренними задачами. Но, видимо, важность этих внутренних идей в теории категорий еще не доказана - иначе бы она "процветала".
В целом, этот тред получился забавным. Мне теория категорий очень нравится, хотя я никоим образом не специалист, и мне удалось доказать Вам, специалисту, что она не процветает. Я думаю, что тут что-то не так - было неявно принято неправильное представление о том, что такое теория категорий. Но у нас с Вами с этим вообще трудно - мы не сходимся даже в базовых представлениях о том, что является предметом какой-то науки.
Я думаю, что Ньютон меня бы поддержал. Он-то занимался интересными приложениями метода флюксий, а дифференциальное исчисление придумал Лейбниц. В Британии полагали, что Лейбниц все украл, но, возможно, они сочли бы мою идею неплохим компромиссом - он не украл, а просто придумал нечто гораздо менее интересное, чем придуманное Ньютоном.
no subject
Никакого скрытого смысла там нет - скрытый смысл пытаетесь найти Вы, а не я, постоянно подсовывая мне идею, что Фрейд под предметом изучения понимает категорию. Я думаю, что у него были все возможности сказать это, если бы он так думал, для придания книге пущей важности. Но он этого не сделал.
Как это К-теория вдруг оказалась очень новой областью? Ей примерно 50 лет, всего на 10 лет меньше, чем теории категорий. К-теория - действительно хорошая иллюстрация того, что Ваш подход не работает. Вот иллюстрация "с другого конца": гармонический анализ. Гомологическая алгебра действительно появилась до книги Картана-Эйленберга (скажем, работы Хопфа и Эйленберга-Маклейна 40-х годов безусловно к ней относятся), и предмет ее не ограничивается предметом книги Эйленберга-Маклейна. Скажем, есть производные функторы неаддитивных функторов, и мне даже неловко об этом писать.
Таким образом, Вы согласились с тем, что теория категорий не процветает. Грустный вывод, я надеялся на другой.
Разумеется, в какой-то момент любая наука начинает заниматься внутренними задачами. Но, видимо, важность этих внутренних идей в теории категорий еще не доказана - иначе бы она "процветала".
В целом, этот тред получился забавным. Мне теория категорий очень нравится, хотя я никоим образом не специалист, и мне удалось доказать Вам, специалисту, что она не процветает. Я думаю, что тут что-то не так - было неявно принято неправильное представление о том, что такое теория категорий. Но у нас с Вами с этим вообще трудно - мы не сходимся даже в базовых представлениях о том, что является предметом какой-то науки.
Я думаю, что Ньютон меня бы поддержал. Он-то занимался интересными приложениями метода флюксий, а дифференциальное исчисление придумал Лейбниц. В Британии полагали, что Лейбниц все украл, но, возможно, они сочли бы мою идею неплохим компромиссом - он не украл, а просто придумал нечто гораздо менее интересное, чем придуманное Ньютоном.