Малая Категория

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

Источник: Математическая энциклопедия на Gufo.me