Фактор-пространство алгебраического стека

• Определение фактор-пространства алгебраического стека

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

• Пунктуальность алгебраического стека

  • Стек X является пунктуальным, если |X| является точкой зрения. 

• Пространство модулей и грубые модули

  • Пространство модулей X является частным пространством для стека модулей. 
  • Морфизм стеков f:X → Y индуцирует гомеоморфизм |X| → |Y|, если он индуцирует гомеоморфизм между фактор-пространствами. 
  • Y называется совокупностью грубых модулей X, если f:X → Y индуцирует гомеоморфизм между фактор-пространствами и требует универсальности. 

• Рекомендации

  • Статья является заглушкой и призывает к расширению Википедии.