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

- минимальная полная подкатегория категории, эквивалентная самой категории. В произвольной категории [img: http://localhost:8080/file/041913-80.jpg] существует, вообще говоря, много скелетов. Любой скелет можно построить следующим образом. В каждом классе изоморфных объектов категории [img: http://localhost:8080/file/041913-81.jpg] выбирается по одному представителю. Тогда полная подкатегория категории [img: http://localhost:8080/file/041913-82.jpg], порожденная выбранным подклассом объектов, является С. к. [img: http://localhost:8080/file/041913-83.jpg]. Две категории эквивалентны тогда и только тогда, когда их скелеты изоморфны. С. к. наследует многие свойства самой категории: локальную малость, наличие бпкатегорных структур, различные виды полноты и т. д. М. Ш. Цаленко.