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