Скелет (теория категорий)

Каркас (теория категорий) Скелет категории – это подкатегория, не содержащая посторонних изоморфизмов.  Скелет категории является “наименьшей” эквивалентной категорией, отражающей все […]

Каркас (теория категорий)

  • Скелет категории – это подкатегория, не содержащая посторонних изоморфизмов. 
  • Скелет категории является “наименьшей” эквивалентной категорией, отражающей все “категориальные свойства” оригинала. 
  • Две категории эквивалентны тогда и только тогда, когда они имеют изоморфные скелеты. 
  • Категория называется скелетной, если изоморфные объекты обязательно идентичны. 
  • У каждой небольшой категории есть каркас, и у каждой доступной категории есть каркас. 
  • Скелеты категорий являются каноническими представителями классов эквивалентности категорий. 

Полный текст статьи:

Скелет (теория категорий) — Википедия

Оставьте комментарий