Заостренное пространство
- Заостренные пространства — категория топологических пространств с базовой точкой.
- Морфизмы в заостренных пространствах сохраняют базовые точки.
- Существует забывчивый функтор Top {∙} {\displaystyle \{\маркер \}} → {\displaystyle \to }.
- Заостренные пространства имеют операции, такие как подпространства, частное и произведение.
- Уменьшенная подвеска и приведенная подвеска являются функторами в категории заостренных пространств.
- Категория заостренных пространств может быть связана с симметричными моноидальными категориями.
Полный текст статьи: