Locally cartesian closed exact completions

DOI10.1016/S0022-4049(99)00192-9zbMath0962.18001OpenAlexW1996443480MaRDI QIDQ1588066

G. Rosolini, Aurelio Carboni

Publication date: 4 June 2001

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(99)00192-9

zbMATH Keywords

exact completionequilogical spacelocally cartesian closed category

Mathematics Subject Classification ID

Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Combinatory logic and lambda calculus (03B40)

Related Items (22)

Relative completions ⋮ Unnamed Item ⋮ On a generalization of equilogical spaces ⋮ Quotient completion for the foundation of constructive mathematics ⋮ On the local Cartesian closure of exact completions ⋮ Equilogical spaces and algebras for a double-power monad ⋮ Towards a constructive simplicial model of Univalent Foundations ⋮ Flatness, weakly lex colimits, and free exact completions ⋮ Characterizing partitioned assemblies and realizability toposes ⋮ A universal characterization of the double powerlocale ⋮ EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS ⋮ Exact completion of path categories and algebraic set theory. I: Exact completion of path categories ⋮ A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS ⋮ Sobriety for equilogical spaces ⋮ Category theoretic structure of setoids ⋮ When do completion processes give rise to extensive categories? ⋮ Inductive types and exact completion ⋮ On generalized equilogical spaces ⋮ How nice are free completions of categories? ⋮ A minimalist two-level foundation for constructive mathematics ⋮ A characterization of the left exact categories whose exact completions are toposes ⋮ More exact completions that are toposes

Cites Work

• Introduction to extensive and distributive categories
• Regular and exact completions
• Some free constructions in realizability and proof theory
• Exact categories and categories of sheaves
• Colimit completions and the effective topos
• Data Types as Lattices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Locally cartesian closed exact completions