Каркас (теория категорий)
- Скелет категории — это подкатегория, не содержащая посторонних изоморфизмов.
- Скелет категории является «наименьшей» эквивалентной категорией, отражающей все «категориальные свойства» оригинала.
- Две категории эквивалентны тогда и только тогда, когда они имеют изоморфные скелеты.
- Категория называется скелетной, если изоморфные объекты обязательно идентичны.
- У каждой небольшой категории есть каркас, и у каждой доступной категории есть каркас.
- Скелеты категорий являются каноническими представителями классов эквивалентности категорий.
Полный текст статьи: