圏について
圏についての基本的な話題を、 できるだけ予備知識を仮定せずに紹介するのがこのノートの目的です。 内容は
- 自然変換と米田の補題
- 普遍性と極限
- 随伴
の三つに分けて紹介する予定です。
質問や間違いの指摘などありましたらお気軽にtwitter @unaoyaまたは質問箱までお願いします。
自然変換と米田の補題
ここでは米田の補題を証明することが目標です。 集合や写像についての簡単な復習から始めて、 圏や関手、自然変換の定義と基本的な例について書きます。 さらに米田の補題の応用として、 集合の基本的な性質であるドモルガンの定理を証明します。
page 最終更新日2018年7月19日
普遍性と極限
公開未定
随伴
公開未定