ついにConceptual Mathematics終了だいたいは。
いい本でした。
Conceptual Mathematics: A First Introduction to Categories
- 作者: F. William Lawvere,Stephen Hoel Schanuel
- 出版社/メーカー: Cambridge University Press
- 発売日: 1997/10/09
- メディア: ペーパーバック
- クリック: 7回
- この商品を含むブログ (15件) を見る
最後のセッションは(初等)トポス。直観主義論理に相当。
トポスだと subobject classifier が具体的に構成できて、それによって排中律が成立しない(集合の圏では成立する)事が明確にわかるのが良いですね。