polje: matematika
grana: ostale matematičke discipline
projekt: matematika_rest
kategorija u kojoj je za svaka dva objekta $a$, $b$ klasa svih morfizama s domenom $a$ i kodomenom $b$ skup
Često se podrazumijeva da je svaka mala kategorija lokalno mala osim ako nije posebno naglašeno da nije lokalno mala.