Замкнутая по изоморфизму подкатегория

Изоморфизм — закрытая подкатегория Определение изоморфизма замкнутого Изоморфизм замкнутый в категории A из категории B означает, что каждый B-изоморфизм h:A→B […]

Изоморфизм — закрытая подкатегория

  • Определение изоморфизма замкнутого

    • Изоморфизм замкнутый в категории A из категории B означает, что каждый B-изоморфизм h:A→B принадлежит A. 
    • Это означает, что и B, и h−1:B→A также принадлежат A. 
  • Строгая полнота подкатегории

    • Подкатегория, которая является изоморфно замкнутой и полной, называется строго полной. 
  • Примеры и свойства

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

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

Замкнутая по изоморфизму подкатегория — Википедия

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

Прокрутить вверх