Учебник по теории категорий

[zeitraffer]

Ага, вижу, темы объединили. Тогда предложу ещё парочку:

Jiri Adamek, Horst Herrlich, George E. Strecker "Abstract and concrete categories: the joy of cats" 1990 - в этой местами есть веселые картинки

Tom Leinster "Basic Category Theory" 2014 - тоже введение

Tom Leinster "Higher Operads, Higher Categories" 2004 - тут более продвинутый материал, ближе к тому, что сейчас активно исследуется

[gandvik]

Доброго времени суток! Я бы спросил для чего нужна человеку теория категорий. На мой взгляд ТК ценна именно в своих приложениях к конкретным областям. Могу лишь сказать, что если эта область - CS, то лучший учебник

Barr Wells Category theory for Computer science

и есть еще lite - обзорная книжка Пирса: Benjamin Pierce Basic Category Theory for Computer Scientists (Foundations of Computing)

На русском языке - применительно к теории вычислений (КАМ-машины) - Кузин Мат. основы кибернетики том 1 (1992 г.) - хотя мне не понравилось, - слишком конспективно

По геометрии и топологии подозреваю есть свои авторы (Маклейн и Букур), ну а Голдблат - это приложение к теории множеств и логике

[george66]

Поиск в гугле "учебник теории категорий" почему-то находит эту старую тему, но не находит новую
topic115836.html

[Dragon27]

Мне кажется стоит упомянуть и относительно недавно (пару лет назад) вышедшую Emily Riehl, Category Theory in Context.
Отличительной особенностью книги является большое количество примеров из разных областей математики, придающих жизнь абстрактным понятиям теории.
Большое ревью на английском.
PDF доступен для свободного скачивания на сайте автора.