Topological Semantics of Modal Logic

 

2024 夏天 蹭了蹭 的 LFE Jonas Frey 和 Reid Barton 开的 Categorical semantics and synthetic topology 小课

主要是记录一下当时reid给的一个挺有意思的exercise 也build up一下background (现在先直接丢一下结论。。)

感谢Juli who actually came up with the solution!

https://en.wikipedia.org/wiki/Kuratowski’s_closure-complement_problem

img img