Категория малых категорий — категория, объекты которой — малые категории, а морфизмы — функторы между ними, обозначается . Может рассматриваться как 2-категория малых категорий с функторами и естественными преобразованиями.
Начальный объект — пустая категория (категория без объектов и морфизмов), терминальный объект — тривиальная категория , состоящая из одного объекта и одного морфизма.
Не является объектом самой себя, то есть, не является малой категорией, например, потому что содержит в качестве полной подкатегории категорию множеств (которая уже не является малой категорией).
Энциклопедичный YouTube
-
1/3Просмотров:1 1801 8351 335
-
Категории и главные расслоения 1
-
1С Управление Холдингом, 6 НСИ Контрагенты, договоры, номенклатура, категории, Учебный курс
-
Особенности ПДД для категории D
Субтитры
Литература
- Маклейн С. Глава 1. Категории, функторы и естественные преобразования // Категории для работающего математика = Categories for the working mathematician / Пер. с англ. под ред. В. А. Артамонова. — М.: Физматлит, 2004. — С. 17—42. — 352 с. — ISBN 5-9221-0400-4.
Обычно почти сразу, изредка в течении часа.