...не посмотреть предисловие к классической книжке, лежащей на том же сайте, что книга Келли -- да читал я Фрейда, книжка у меня распечатанная на полке лежала, ссылку я специально для вас искал. Просто он не оставил у меня такого впечатления как у Вас. Предисловие там ничем не отличается от Постниковского и тысячи других.


...Фрейд под предметом изучения понимает категорию -- эта идея лежит на поверхности. Посмотрите на процитированный отрывок. Если топология изучает непрерывные отображения между пространствами, то что остается, чтобы дойти до категории? Сами пространства. Но это кажется и так ясно, что топология изучает пространства.

Как это К-теория вдруг оказалась очень новой областью? Ей примерно 50 лет -- это К-функторам 50 лет. Что считать началом К-теории вопрос спорный. На одной конференции кто-то из пожилых участников сказал, что для него К-теория это такая линеаризация топологических вопросов. Фридландер очень расстроился и сказал, что есть масса работ по К-теории никак не связанных с топологией. Пока нет абсолютного согласия с тем существует ли такая область, трудно ожидать, что у нее будет определенный предмет. До Кртана-Эйленберга никто не говорил о гомологической алгебре, как об отдельной области.

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

...неявно принято неправильное представление о том, что такое теория категорий -- а что такое теория категорий в Вашем понимании?