On the local Cartesian closure of exact completions

DOI10.1016/J.JPAA.2020.106414MaRDI QIDQ2184801zbMATH OpenOpenAlexFDO

Authors Jacopo Emmenegger

Publication date 29 May 2020

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1804.08585

zbMATH Keywords

exact completioninternal projective objectslocal Cartesian closureweak limits

Mathematics Subject Classification ID

Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Embedding theorems, universal categories (18B15) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Regular categories, Barr-exact categories (18E08) Categorical embedding theorems (18E20)

Abstract: This paper presents a necessary and sufficient condition on a category with weak finite limits for its exact completion to be (locally) cartesian closed. A paper by Carboni and Rosolini already claimed such a characterisation using a different property on the base category, but we shall show that weak finite limits are not enough for their proof to go through. We shall also indicate how to strengthen the hypothesis for that proof to work. It will become clear that, in the case of ex/lex completions, their characterisation is still valid and it coincides with the one presented here.

Recommendations

• Locally cartesian closed exact completions
• Cartesian closed exact completions
• Cartesian closed exact completions in topology
• Essential localizations and infinitary exact completion
• Localizations as idempotent approximations to completions
• Local completeness and dual local quasi-completeness
• Localic completion of uniform spaces
• Cartesian closeness of the categories of algebraic local complete posets and FS-local directed complete posets
• A Cartesian closed extension of the category of locales
• On the completeness of localic groups

Cites work

• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Cartesian closed exact completions
• Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3754682 (Why is no real title available?)
• scientific article; zbMATH DE number 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 3353518 (Why is no real title available?)
• Locally cartesian closed exact completions
• Quotient completion for the foundation of constructive mathematics
• Regular and exact completions

Cited in

(10)

• Cartesian closed exact completions
• Locally cartesian closed exact completions
• How nice are free completions of categories?
• Cartesian closed exact completions in topology
• Essential localizations and infinitary exact completion
• Closure operators in exact completions
• A direct proof that the category of 3-computads is not Cartesian closed
• scientific article; zbMATH DE number 701192 (Why is no real title available?)
• Exact completion and constructive theories of sets
• Biased elementary doctrines and quotient completions

This page was built for publication: On the local Cartesian closure of exact completions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2184801)