Cocomplete toposes whose exact completions are toposes

DOI10.1016/j.jpaa.2006.10.009zbMath1120.18002OpenAlexW1988667793WikidataQ112120962 ScholiaQ112120962MaRDI QIDQ886236

Matias Menni

Publication date: 26 June 2007

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: http://sedici.unlp.edu.ar/handle/10915/83213

zbMATH Keywords

functorsGrothendieck toposcomplete toposindecomposable objectsSierpinski topos

Mathematics Subject Classification ID

Topoi (18B25) Categories admitting limits (complete categories), functors preserving limits, completions (18A35)

Related Items (8)

Relative completions ⋮ Cocomplete toposes whose exact completions are toposes ⋮ Aspects of predicative algebraic set theory. I: Exact completion ⋮ Läuchli's completeness theorem from a topos-theoretic perspective ⋮ Inductive types and exact completion ⋮ On generalized equilogical spaces ⋮ A characterization of the left exact categories whose exact completions are toposes ⋮ More exact completions that are toposes

Cites Work

• Unnamed Item
• Unnamed Item
• Cocomplete toposes whose exact completions are toposes
• Molecular toposes
• Regular and exact completions
• A characterization of the left exact categories whose exact completions are toposes
• Some free constructions in realizability and proof theory

This page was built for publication: Cocomplete toposes whose exact completions are toposes