Категория топологических пространств
- Top — категория топологических пространств, не имеющая нулевых морфизмов и не являющаяся предаддитивной.
- Вершина не является декартовой замкнутой, но входит в экспоненциальную категорию псевдотопологий.
- Top связан с гомотопической категорией hTop и имеет важные подкатегории, такие как CGHaus компактно генерируемых хаусдорфовых пространств.
- Существует функтор для категории локалей Loc, отправляющий топологическое пространство в его локаль открытых множеств.
- Гомотопическая гипотеза связывает Top с ∞Grpd, категорией ∞-группоидов.
Полный текст статьи: