The hyperconnected maps that are local
Journal of Pure and Applied Algebra(2021)
摘要
A level j:Ej→E of a topos E is said to have monic skeleta if, for every X in E, the counit j!(j⁎X)→X is monic. For instance, the centre of a hyperconnected geometric morphism is such a level. We establish two related sufficient conditions for an adjunction to extend to a level with monic skeleta. As an application, we characterize the hyperconnected geometric morphisms that are local providing an interesting expression for the associated centres that suggests a generalization of open subtoposes. As a corollary, we obtain that a hyperconnected p:E→S is pre-cohesive if and only if p⁎:E→S preserves coequalizers and p⁎:S→E is cartesian closed.
更多查看译文
关键词
18F99,18F10,14A99
AI 理解论文
溯源树
样例
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要