ブール代数はHeyting代数

drive.google.com

　月一圏論ゼミのお昼の時間に少しブール代数やHeyting代数の話をしてて少し忘れてるなぁと感じたので少し遊んでみました。

　圏や束などから定義を書いているので読みやすいと思います。

　Heyting代数は論理方面にも出てくるらしいですね（私はあまり論理に興味がないので知らない…）いつかやりたいとは思います。

　次回の月一圏論ゼミは9月25日の予定なのでお時間ある方は是非！

来月は私が発表なので加法圏やアーベル圏の話をしようかなとか考えています。