A characterization of the left exact categories whose exact completions are toposes

DOI10.1016/S0022-4049(02)00261-XzbMath1050.18002OpenAlexW2122618818WikidataQ112120951 ScholiaQ112120951MaRDI QIDQ1861488

Matias Menni

Publication date: 9 March 2003

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

Full work available at URL: https://doi.org/10.1016/s0022-4049(02)00261-x

Mathematics Subject Classification ID

Topoi (18B25) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Metamathematics of constructive systems (03F50)

Related Items

Cocomplete toposes whose exact completions are toposes, Constructive toposes with countable sums as models of constructive set theory, Characterizing partitioned assemblies and realizability toposes, A co-free construction for elementary doctrines, How nice are free completions of categories?, Aspects of Categorical Recursion Theory, The effective model structure and -groupoid objects, More exact completions that are toposes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cocomplete toposes whose exact completions are toposes
• Sheaves in geometry and logic: a first introduction to topos theory
• Introduction to extensive and distributive categories
• The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 2
• Extensional realizability
• Regular and exact completions
• Locally cartesian closed exact completions
• More exact completions that are toposes
• Some free constructions in realizability and proof theory
• Exact categories and categories of sheaves
• Impredicativity entails untypedness
• Colimit completions and the effective topos
• Tripos theory