Locally cartesian closed exact completions
From MaRDI portal
Publication:1588066
DOI10.1016/S0022-4049(99)00192-9zbMath0962.18001OpenAlexW1996443480MaRDI QIDQ1588066
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
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
This page was built for publication: Locally cartesian closed exact completions
