数学において、シーガル空間とは、いくつかの引き戻し条件を満たす単体空間であり、圏のホモトピー版のように見える。より正確には、単体離散空間として考えられる単体集合 がシーガル条件を満たすのは、それが圏の核である場合のみである。シーガル空間の条件は、この条件のホモトピー版である。
完全シーガル空間は、(∞, 1)-カテゴリのモデルとしてRezk (2001)によって導入されました。
参考文献
- レズク、チャールズ（2001）「ホモトピー理論のホモトピー理論モデル」アメリカ数学会誌、353（3）：973–1007、doi：10.1090/S0002-9947-00-02653-2、ISSN 0002-9947、MR 1804411
外部リンク
