On the local Cartesian closure of exact completions

DOI10.1016/J.JPAA.2020.106414zbMath1436.18003arXiv1804.08585OpenAlexW2798832958MaRDI QIDQ2184801

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 completionweak limitsinternal projective objectslocal Cartesian closure

Mathematics Subject Classification ID

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

Related Items (2)

EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS ⋮ How nice are free completions of categories?

Cites Work

• Quotient completion for the foundation of constructive mathematics
• Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
• Cartesian closed exact completions
• Regular and exact completions
• Locally cartesian closed exact completions
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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