- Малая категория
-
Малая категория ― категория , класс морфизмов которой является множеством. Для каждой малой категории и произвольной категории можно корректно говорить о категории одноместных ковариантных (контравариантных) функторов из в . В частности, малые категории образуют замкнутую категорию малых категорий ― одну из основных категорий математики.
Категория:- Теория категорий
Wikimedia Foundation. 2010.