Kis kategóriák kategóriája

A kis kategóriák kategóriája olyan kategória , amelynek objektumai kis kategóriák , morfizmusai pedig funkcionálisok közöttük, jelöléssel . Megtekinthető a kis kategóriák 2 kategóriájaként funkcionálókkal és természetes átalakulásokkal . $\mathbf {Cat}$

A kezdeti objektum egy üres kategória (objektumok és morfizmusok nélküli kategória), a végobjektum egy triviális kategória , amely egy objektumból és egy morfizmusból áll. $\mathbf {Cat}$ ${\mathbf 0}$ ${\mathbf 1}$

Önmagának nem tárgya, vagyis nem kiskategória, mert például teljes alkategóriaként tartalmazza a halmazok kategóriáját (ami már nem kiskategória).

Irodalom

McLane S. 1. fejezet. Kategóriák, funktorok és természetes transzformációk // Kategóriák a dolgozó matematikus számára / Per. angolról. szerk. V. A. Artamonova. - M . : Fizmatlit, 2004. - S. 17-42. — 352 p. — ISBN 5-9221-0400-4 .