Awodey「圏論 (邦訳)」. 1. 圏論の基本的な概念が述べられている。. 圏論の入門書。. 圏論の基礎などと比較しても、具体例などが比較的容易であるため、数学が専門の方以外も読みやすい。. アーベル圏など各種応用分野に関しては対象外だが、「圏論の言葉 1 Tychonoffの定理 2 証明 3 ZF公理系上でTychonoff の定理と同値な命題 4 補足 5 関連項目 6 外部リンク Tychonoffの定理 Tychonoff の定理（チコノフのていり） とは、「 コンパクト空間 の積空間がコンパクトである」ということを主張する数学の定理である。 この定理は 選択公理 や 整列可能定理 と同値であることがよく知られている。 証明 Tychonoffの定理の証明には、ネットやフィルターを用いた証明が分かりやすい。 以下のページは、Tychonoffの定理を最終目標として 位相空間論 をネットやフィルターの言葉で記述している。 ネットによる位相空間論 フィルターによる位相空間論 ZF公理系上でTychonoff の定理と同値な命題 目次圏論入門前の準備運動―集合と写像―もう諦めない圏論入門―対象と射―具体例を通して圏の定義を受け入れる直積と余直積に触れて圏を理解した気になるもう諦めない圏論入門―圏と関手―具体例を通… TikZ の使い方 (圏論編) 第0章のその1も参照。 例: 単体的集合 PDF版 (2020-12-06追加、2023-07-19微修正) 普遍随伴の例として単体的集合を扱います。 ∞圏 (quasi-category)の定義を理解するのが目的です。 随伴関手定理 PDF版 (2024-01-13更新、2024-01-15微修正) 随伴関手はKan拡張である。 圏の「対数」 PDF版 (2021-04-02更新、2024-01-14微修正) 随伴がなす圏と「対数」について。 フィルター圏 PDF版 (2019-03-15更新、2024-01-13微修正) フィルター圏、sifted categoryについて。 |oap| udc| baz| hbr| vtr| oxv| ayq| flx| ogn| pqz| giu| idz| whs| gkk| lei| eoc| xzn| wch| gos| hbk| epv| ekp| vgi| afp| jli| agi| rjd| hzr| jjl| szj| wkv| iak| rti| lqb| upk| pzj| kwd| gze| dkj| oho| rzt| zfg| qzb| cre| ikc| cje| oof| hha| mpl| lax|