kategorija u kojoj je za svaka dva objekta $a$, $b$ klasa svih morfizama s domenom $a$ i kodomenom $b$ skup
kategorija u kojoj je za svaka dva objekta $a$, $b$ klasa svih morfizama s domenom $a$ i kodomenom $b$ skup
Rod: nema
Vrsta riječi: višerječni naziv
Često se podrazumijeva da je svaka mala kategorija lokalno mala osim ako nije posebno naglašeno da nije lokalno mala.