Red cat の数学よもやま話・新装開店

はてなダイアリー「Red cat の数学よもやま話」から徐々にこちらに移行していきます。

楽しい圏論(その 18・最終回?)

最後に参考書を紹介するのを忘れていました。

圏論の基本的なところはこちら(下は和訳本)。

圏論の基礎

圏論の基礎

層・トポスと直観主義論理への入り口みたいな本。

層・圏・トポス―現代的集合像を求めて

層・圏・トポス―現代的集合像を求めて

より本格的にはこちらも。

Sheaves in Geometry and Logic: A First Introduction to Topos Theory

Sheaves in Geometry and Logic: A First Introduction to Topos Theory

アーベル圏について。かなり古いため入手は困難。

Abelian Categories

Abelian Categories

形式的圏論(Formal category theory)について。入手は出来るが初版は 1974 年とかなり古い。

Formal Category Theory : Adjointness for 2-Categories (Lecture Notes in Mathematics)

Formal Category Theory : Adjointness for 2-Categories (Lecture Notes in Mathematics)