5 citations · 11 across the 11 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
math.LO2018
W-types in setoids
Jacopo Emmenegger
We present a construction of W-types in the setoid model of extensional Martin-Löf type theory using dependent W-types in the underlying intensional theory. More precisely, we prov…
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…