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
Cites work
- scientific article; zbMATH DE number 3904807 (Why is no real title available?)
- scientific article; zbMATH DE number 4061468 (Why is no real title available?)
- scientific article; zbMATH DE number 813127 (Why is no real title available?)
- scientific article; zbMATH DE number 1392302 (Why is no real title available?)
- Colimit completions and the effective topos
- Data Types as Lattices
- Exact categories and categories of sheaves
- Introduction to extensive and distributive categories
- Regular and exact completions
- Some free constructions in realizability and proof theory
Cited in
(24)- On generalized equilogical spaces
- 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
- Quotient completion for the foundation of constructive mathematics
- More exact completions that are toposes
- Sobriety for equilogical spaces
- Essential localizations and infinitary exact completion
- A universal characterization of the double powerlocale
- Category theoretic structure of setoids
- Inductive types and exact completion
- How nice are free completions of categories?
- On the local Cartesian closure of exact completions
- When do completion processes give rise to extensive categories?
- Cartesian closed exact completions
- Flatness, weakly lex colimits, and free exact completions
- Towards a constructive simplicial model of Univalent Foundations
- scientific article; zbMATH DE number 2165891 (Why is no real title available?)
- 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
- Characterizing partitioned assemblies and realizability toposes
- A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS
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)
