Большой англо-русский и русско-английский словарь
мат. small category
Математическая энциклопедия
- категория 
. класс мор-фнзмов 
к-рой является множеством. М. к.
наз. U-к а т е г о р и е й, если 
где U- универсальное множество. Для каждой М. к. 
и произвольной категории 
можно корректно говорить о категории одноместных ковариантных (контравариантных) функторов из 
в 
В частности, М. к. образуют замкнутую категориюCat малых категорий - одну из основных категорий математики [1].
Лит.:[1] Lawvere F. W., The category of categories as a foundation for mathematics, в кн.: Proc. of the Conference on categorical algebra, La Jolla, 1965, В.- Hdlb.- N. Y., 1966.
M. Ш. Цаленко.