Математическая энциклопедия - малая категория

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

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985