最後に参考書を紹介するのを忘れていました。
圏論の基本的なところはこちら(下は和訳本)。
- 作者: Saunders Mac Lane
- 発売日: 2018/03/10
- メディア: Kindle版
- この商品を含むブログを見る
- 作者: S.マックレーン,Saunders MacLane,三好博之,高木理
- 出版社/メーカー: 丸善出版
- 発売日: 2012/07/17
- メディア: 単行本
- クリック: 25回
- この商品を含むブログ (4件) を見る
層・トポスと直観主義論理への入り口みたいな本。
- 作者: 竹内外史
- 出版社/メーカー: 日本評論社
- 発売日: 1978/01/20
- メディア: 単行本
- 購入: 3人 クリック: 39回
- この商品を含むブログ (18件) を見る
より本格的にはこちらも。
Sheaves in Geometry and Logic: A First Introduction to Topos Theory
- 作者: Saunders Mac Lane,Ieke Moerdijk,S. Mac Lane
- 出版社/メーカー: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
- 発売日: 1992/06
- メディア: ペーパーバック
- この商品を含むブログを見る
アーベル圏について。かなり古いため入手は困難。
- 作者: Peter Freyd
- 出版社/メーカー: Joanna Cotler Books
- 発売日: 1966/12
- メディア: ハードカバー
- この商品を含むブログを見る
形式的圏論(Formal category theory)について。入手は出来るが初版は 1974 年とかなり古い。
Formal Category Theory : Adjointness for 2-Categories (Lecture Notes in Mathematics)
- 作者: J.W. Gray
- 出版社/メーカー: Springer
- 発売日: 1974/07/22
- メディア: ペーパーバック
- クリック: 2回
- この商品を含むブログ (1件) を見る