Скелет Категории

Минимальная полная подкатегория категории, эквивалентная самой категории. В произвольной категории существует, вообще говоря, много скелетов. Любой скелет можно построить следующим образом. В каждом классе изоморфных объектов категории выбирается по одному представителю. Тогда полная подкатегория категории , порожденная выбранным подклассом объектов, является С. к. . Две категории эквивалентны тогда и только тогда, когда их скелеты изоморфны. С. к. наследует многие свойства самой категории: локальную малость, наличие бпкатегорных структур, различные виды полноты и т. д. М. Ш. Цаленко.