降下理論 (圏論)
(Density theorem (category theory) から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/01/25 16:39 UTC 版)
ナビゲーションに移動 検索に移動
|
この記事は英語版Wikipediaの対応するページを翻訳することにより充実させることができます。（2020年11月）
翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
|
降下理論（こうかりろん）は、数学の一分野である圏論の定理であり、集合のすべての前層が標準的な方法で表現可能な前層の極限であると主張している[1]。
概要
たとえば、定義上、複体集合はシンプレックス圏Δの前層であり、表現可能な複体集合は正確には次の形式になる。 
証明
|
脚注
参考文献
- Mac Lane, Saunders (1998). Categories for the Working Mathematician. Graduate Texts in Mathematics. 5 (2nd ed.). New York, NY: Springer-Verlag. ISBN 0-387-98403-8. Zbl 0906.18001Mac Lane, Saunders (1998). Categories for the Working Mathematician. Graduate Texts in Mathematics. 5 (2nd ed.). New York, NY: Springer-Verlag. ISBN 0-387-98403-8. Zbl 0906.18001 Mac Lane, Saunders (1998). Categories for the Working Mathematician. Graduate Texts in Mathematics. 5 (2nd ed.). New York, NY: Springer-Verlag. ISBN 0-387-98403-8. Zbl 0906.18001
- 降下理論 (圏論)のページへのリンク
