現代数学の系譜　カントル　超限集合論at MATH

---

454:ﾆして定式化されるようになった。この 文章では, まずは直観的に扱いやすいポセット上の極限を一般的な圏の場合に説明する。次に, 環上の加群の 極限について少し詳しく見た後, 圏の上の極限について極限を定式化しなおすことにする。 (2.1.5) 定義. ポセット S が有向 (filtered ないしは directed) とは, 任意の x, y ∈ I に対し x <= z かつ y <= z となる z ∈ I が存在することである。全順序であればもちろん有向である。 (2.1.6) 例. 自然数の集合 {1, 2, 3, . . .} を N とする。N と通常の大小関係 <= の組は全順序集合である。 1→ 2→ 3→ 4→ 5→ http（URLがNGなので、キーワードでググれ（＾＾ ） 檜山正幸のキマイラ飼育記 (はてなBlog) 2018-03-22 圏論の極限を具体的に (抜粋) 小さい圏Cから集合圏Setへの関手 F:C→Set に限定して、その極限を具体的に扱います。具体的とは、極限を、（無限かも知れない）直積と条件絞り込みで実際に構成することを意味します。具体的構成の方針（精神）は、「錐〈すい〉集合関手の表現対象を作りましょう」です

---

次ページ

続きを表示

1を表示

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch