5 citations · 11 across the 11 of their papers we have counts for
Showing 2018 · math.CTShow all
2 papers · 2 filters
math.CT2018
The Fullness Axiom and exact completion of homotopy categories
Jacopo Emmenegger
We use a category-theoretic formulation of Aczel's Fullness Axiom from Constructive Set Theory to derive the local cartesian closure of an exact completion. As an application, we p…
math.CT2018★ 5 cited
On the local cartesian closure of exact completions
Jacopo Emmenegger
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 Ros…