Изоморфизм — закрытая подкатегория
-
Определение изоморфизма замкнутого
- Изоморфизм замкнутый в категории A из категории B означает, что каждый B-изоморфизм h:A→B принадлежит A.
- Это означает, что и B, и h−1:B→A также принадлежат A.
-
Строгая полнота подкатегории
- Подкатегория, которая является изоморфно замкнутой и полной, называется строго полной.
-
Примеры и свойства
- В категории топологических пространств топологические свойства соответствуют строго полным подкатегориям.
- В статье используются материалы из подкатегории Isomorphism-closed на PlanetMath, лицензированные Creative Commons Attribution/Share-Alike.
Полный текст статьи: