Kategori av små kategorier

En kategori av små kategorier  är en kategori vars objekt är små kategorier och vars morfismer är funktorer mellan dem, betecknad med . Kan ses som en 2-kategori av små kategorier med funktioner och naturliga transformationer .

Det initiala objektet  är en tom kategori (en kategori utan objekt och morfismer), terminalobjektet  är en trivial kategori som består av ett objekt och en morfism.

Är inte ett objekt i sig själv, det vill säga är inte en liten kategori, till exempel, eftersom den innehåller som en komplett underkategori kategorin av mängder (som inte längre är en liten kategori).

Litteratur

• McLane S. Kapitel 1. Kategorier, funktioner och naturliga transformationer // Kategorier för den arbetande matematikern / Per. från engelska. ed. V. A. Artamonova. - M . : Fizmatlit, 2004. - S. 17-42. — 352 sid. — ISBN 5-9221-0400-4 .