We establish a bi-equivalence between the bi-category of topoi with enough points and a localisation of a bi-subcategory of topological groupoids
生成讲解博客的中文版本
生成AI智能校验的中文版本