107 citations · 114 across the 2 of their papers we have counts for
1 paper · 1 filter
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…