首页 | 本学科首页   官方微博 | 高级检索  
     检索      


Cocomplete toposes whose exact completions are toposes
Authors:Matías Menni
Institution:CONICET and Lifia-Universidad Nacional de La Plata, Correo Central de La Plata C.C.11, 1900 La Plata, Argentina
Abstract:Let E be a cocomplete topos. We show that if the exact completion of E is a topos then every indecomposable object in E is an atom. As a corollary we characterize the locally connected Grothendieck toposes whose exact completions are toposes. This result strengthens both the Lawvere-Schanuel characterization of Boolean presheaf toposes and Hofstra’s characterization of the locally connected Grothendieck toposes whose exact completion is a Grothendieck topos.We also show that for any topological space X, the exact completion of View the MathML source is a topos if and only if X is discrete. The corollary in this case characterizes the Grothendieck toposes with enough points whose exact completions are toposes.
Keywords:18A35  18B25
本文献已被 ScienceDirect 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号