bonotakeの日記

元・ソフトウェア工学系研究者、今・AI系エンジニア

圏論勉強会

ついにConceptual Mathematics終了だいたいは
いい本でした。

Conceptual Mathematics: A First Introduction to Categories

Conceptual Mathematics: A First Introduction to Categories

最後のセッションは(初等)トポス。直観主義論理に相当。
トポスだと subobject classifier が具体的に構成できて、それによって排中律が成立しない(集合の圏では成立する)事が明確にわかるのが良いですね。

注:bonotakeは、amazon.co.jpを宣伝しリンクすることによってサイトが紹介料を獲得できる手段を提供することを目的に設定されたアフィリエイト宣伝プログラムである、 Amazonアソシエイト・プログラムの参加者です。