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
PREVIOUSSheaves