Малая категория
Материал из Википедии — свободной энциклопедии
Малая категория ― категория , класс морфизмов которой является множеством. Для каждой малой категории и произвольной категории можно корректно говорить о категории одноместных ковариантных (контравариантных) функторов из в . В частности, малые категории образуют замкнутую категорию Cat малых категорий ― одну из основных категорий математики.