Thomas Streicher asked on the category theory mailing list whether every essential, hyperconnected, local geometric morphism is automatically locally connected. We show that this is not the case, by providing a counterexample.

中文翻译：

---

非本地连接的基本超连接本地几何变形

托马斯·斯特雷彻（Thomas Streicher）在类别理论邮件列表上询问，是否每个基本的，超连通的局部几何形态都是自动进行局部连通的。通过提供反例，我们证明情况并非如此。