2019-08-28から1日間の記事一覧
drive.google.com 月一圏論ゼミのお昼の時間に少しブール代数やHeyting代数の話をしてて少し忘れてるなぁと感じたので少し遊んでみました。 圏や束などから定義を書いているので読みやすいと思います。 Heyting代数は論理方面にも出てくるらしいですね(私は…
drive.google.com 月一圏論ゼミのお昼の時間に少しブール代数やHeyting代数の話をしてて少し忘れてるなぁと感じたので少し遊んでみました。 圏や束などから定義を書いているので読みやすいと思います。 Heyting代数は論理方面にも出てくるらしいですね(私は…