Locally cartesian closed exact completions

DOI10.1016/S0022-4049(99)00192-9MaRDI QIDQ1588066zbMATH OpenOpenAlexFDO

Authors A. Carboni, Giuseppe Rosolini

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

equilogical spaceexact completionlocally cartesian closed category

Mathematics Subject Classification ID

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

Review text

Categories are characterized whose exact completion is locally cartesian closed. The result explains why the category of equilogical spaces of \textit{D. S. Scott} is locally cartesian closed.

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

• Colimit completions and the effective topos
• Data Types as Lattices
• Exact categories and categories of sheaves
• 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?)
• Introduction to extensive and distributive categories
• Regular and exact completions
• Some free constructions in realizability and proof theory

Cited in

(28)

• A minimalist two-level foundation for constructive mathematics
• Cartesian closed exact completions
• A universal characterization of the double powerlocale
• More exact completions that are toposes
• On a generalization of equilogical spaces
• Equilogical spaces and algebras for a double-power monad
• Characterizing partitioned assemblies and realizability toposes
• Exact completion of path categories and algebraic set theory. I: Exact completion of path categories
• A characterization of the left exact categories whose exact completions are toposes
• Relative completions
• On the local Cartesian closure of exact completions
• Sobriety for equilogical spaces
• Category theoretic structure of setoids
• On generalized equilogical spaces
• How nice are free completions of categories?
• Essential localizations and infinitary exact completion
• Quotient completion for the foundation of constructive mathematics
• scientific article; zbMATH DE number 2165891 (Why is no real title available?)
• Exact completion and constructive theories of sets
• A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS
• Inductive types and exact completion
• When do completion processes give rise to extensive categories?
• Towards a constructive simplicial model of Univalent Foundations
• Flatness, weakly lex colimits, and free exact completions
• Uniform preorders and partial combinatory algebras
• The Kock-Mikkelsen factorisation
• Biased elementary doctrines and quotient completions
• Effectiveness and continuity in intuitionistic quasi-toposes of assemblies

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)