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