159 citations · 844 across the 56 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
math.LO2012
The Axiom of Multiple Choice and Models for Constructive Set Theory
Benno van den Berg, Ieke Moerdijk
We propose an extension of Aczel's constructive set theory CZF by an axiom for inductive types and a choice principle, and show that this extension has the following properties: it…
math.AT2012★ 47 cited
On the homotopy theory of enriched categories
Clemens Berger, Ieke Moerdijk
We give sufficient conditions for the existence of a Quillen model structure on small categories enriched in a given monoidal model category. This yields a unified treatment for th…