Locally cartesian closed exact completions
From MaRDI portal
Publication:1588066
DOI10.1016/S0022-4049(99)00192-9zbMATH Open0962.18001OpenAlexW1996443480MaRDI QIDQ1588066FDOQ1588066
Authors: G. Rosolini, A. 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
Recommendations
- On the local Cartesian closure of exact completions
- Cartesian closed exact completions
- Cartesian closed exact completions in topology
- Essential localizations and infinitary exact completion
- Local completeness and dual local quasi-completeness
- Localic completion of uniform spaces
- Localizations as idempotent approximations to completions
- Localization of complete intersections
- A Cartesian closed extension of the category of locales
- Local completeness and drop theorem
Combinatory logic and lambda calculus (03B40) Categories admitting limits (complete categories), functors preserving limits, completions (18A35)
Cites Work
- Regular and exact completions
- Title not available (Why is that?)
- Data Types as Lattices
- Introduction to extensive and distributive categories
- Exact categories and categories of sheaves
- Some free constructions in realizability and proof theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- Colimit completions and the effective topos
- Title not available (Why is that?)
Cited In (24)
- On a generalization of equilogical spaces
- A minimalist two-level foundation for constructive mathematics
- Exact completion of path categories and algebraic set theory. I: Exact completion of path categories
- Relative completions
- More exact completions that are toposes
- Quotient completion for the foundation of constructive mathematics
- Sobriety for equilogical spaces
- Essential localizations and infinitary exact completion
- A universal characterization of the double powerlocale
- Category theoretic structure of setoids
- How nice are free completions of categories?
- Inductive types and exact completion
- When do completion processes give rise to extensive categories?
- On the local Cartesian closure of exact completions
- Cartesian closed exact completions
- Flatness, weakly lex colimits, and free exact completions
- Towards a constructive simplicial model of Univalent Foundations
- Title not available (Why is that?)
- Equilogical spaces and algebras for a double-power monad
- A characterization of the left exact categories whose exact completions are toposes
- Exact completion and constructive theories of sets
- A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS
- Characterizing partitioned assemblies and realizability toposes
- On generalized equilogical spaces
This page was built for publication: Locally cartesian closed exact completions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1588066)
