Akademik

- категория . класс мор-фнзмов к-рой является множеством. М. к. наз. 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. Ш. Цаленко.