107 citations · 107 across the 1 of their papers we have counts for
1 paper
Nicola Gambino, Richard Garner
We show that the classifying category C(T) of a dependent type theory T with axioms for identity types admits a non-trivial weak factorisation system. We provide an explicit charac…