Ну она немного странная. С одной стороны категории есть, с другой — где надо не используются. Например, могли бы написать про теорему Кэйли как частный случай леммы Ионеды. Или теоремы про изоморфизмы вывести через свойства универсалов. Хотя я листал достаточно невнимательно, может что-то упускаю.

(Reply to this) (Parent)