Теория категорий сводится к теории инициальных объектов

[oskar_808]

Большинство понятий теории категорий являются частными случаями понятия инициального объекта. Вот примеры:

1. (Ко)пределы. Пусть A и B - категории, T:A

Comments

[ex_juan_gan]

Мило.

[nivanych]

Правильнее говорить про универсальности, что и делает Маклейн.
Но так тоже вполне стоит показывать, я так думаю ;-)

[oskar_808]

Повторюсь: универсальная стрелка - это инициальный/терминальный объект категории запятой. Нет никакой "универсальности", отделённой от понятия инициального/терминального объекта. Впрочем, каждый имеет право понимать это по-своему:-)

[nivanych]

Договорились ;-)