View on GitHub

category

圏について

圏についての基本的な話題を、 できるだけ予備知識を仮定せずに紹介するのがこのノートの目的です。 内容は

の三つに分けて紹介する予定です。

質問や間違いの指摘などありましたらお気軽にtwitter @unaoyaまたは質問箱までお願いします。

自然変換と米田の補題

ここでは米田の補題を証明することが目標です。 集合や写像についての簡単な復習から始めて、 圏や関手、自然変換の定義と基本的な例について書きます。 さらに米田の補題の応用として、 集合の基本的な性質であるドモルガンの定理を証明します。

page 最終更新日2018年7月19日

普遍性と極限

公開未定

随伴

公開未定

演習形式で学ぶ圏論の基礎の基礎

講義ノート