Фактор-пространство алгебраического стека
-
Определение фактор-пространства алгебраического стека
- Фактор-пространство алгебраического стека F представляет собой множество всех подстаканов и имеет «топологию Зарисского».
- Функциональное отображение X → |X| определяет непрерывное отображение |X| → |Y| для любого морфизма стеков f:X → Y.
-
Пунктуальность алгебраического стека
- Стек X является пунктуальным, если |X| является точкой зрения.
-
Пространство модулей и грубые модули
- Пространство модулей X является частным пространством для стека модулей.
- Морфизм стеков f:X → Y индуцирует гомеоморфизм |X| → |Y|, если он индуцирует гомеоморфизм между фактор-пространствами.
- Y называется совокупностью грубых модулей X, если f:X → Y индуцирует гомеоморфизм между фактор-пространствами и требует универсальности.
-
Рекомендации
- Статья является заглушкой и призывает к расширению Википедии.
Полный текст статьи: