Изоморфизм-замкнутая подкатегория - Isomorphism-closed subcategory

В теория категорий, раздел математики, подкатегория из категория как говорят изоморфизм закрыт или насыщенный если каждый -изоморфизм с принадлежит [1] Это означает, что оба и принадлежит также.

Подкатегория, замкнутая изоморфизмом и полный называется строго полный. В случае полных подкатегорий достаточно проверить, что все -объект, изоморфный -объект также является -объект.

Это состояние очень естественное. Например, в категория топологических пространств обычно изучают свойства, инвариантные относительно гомеоморфизмы -так называемый топологические свойства. Каждому топологическому свойству соответствует строго полная подкатегория категории

Рекомендации

Эта статья включает в себя материал из подкатегории Isomorphism-closed on PlanetMath, который находится под лицензией Лицензия Creative Commons Attribution / Share-Alike.