Категория малых категорий — категория , объекты которой — малые категории , а морфизмы — функторы между ними, обозначается ${\displaystyle \mathbf {Cat} }$ . Может рассматриваться как малых категорий с функторами и естественными преобразованиями .

Начальный объект ${\displaystyle \mathbf {Cat} }$ — пустая категория ${\displaystyle \mathbf {0} }$ (категория без объектов и морфизмов), терминальный объект — тривиальная категория ${\displaystyle \mathbf {1} }$ , состоящая из одного объекта и одного морфизма.

Не является объектом самой себя, то есть, не является малой категорией, например, потому что содержит в качестве полной подкатегории категорию множеств (которая уже не является малой категорией).

Литература

• Маклейн С. Глава 1. Категории, функторы и естественные преобразования // Категории для работающего математика = Categories for the working mathematician / Пер. с англ. под ред. В. А. Артамонова . — М. : Физматлит, 2004. — С. 17—42. — 352 с. — ISBN 5-9221-0400-4 .