加载中…
2023-04-25
A New Proof of the Joyal-Tierney Theorem
Guram BezhanishviliLuca CaraiPatrick Morandi
文献摘要
We give an alternative, more geometric, proof of the well-known Joyal-Tierney Theorem in locale theory by utilizing Priestley duality for frames.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本