Cocomplete toposes whose exact completions are toposes |
| |
Authors: | Matí as Menni |
| |
Affiliation: | 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 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 等数据库收录! |
|