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

drive.google.com 院試勉強のために少し位相空間論を復習しました。（本当はただワイもやって言いたいだけです笑） 今回は全射連続写像が引き継ぐ性質についてまとめましたが意外と少ないですね。同相写像だと結構引き継いでくれるのになぁ… この他に全射連…

drive.google.com 9月1日に立命館大学で第3回数学好き高校生向け講演会が行われます。そこで私は力学系関係の講演をするので今回は1年前くらいにReMakers合宿という学内の合宿で講演したスライドを記事にしようと思います。 最近力学系してなかったので久し…