107 citations · 114 across the 2 of their papers we have counts for
2 papers
math.LO2008★ 107 cited
The identity type weak factorisation system
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…
math.CT2007★ 7 cited
Cofibrantly generated natural weak factorisation systems
Richard Garner
There is an ``algebraisation'' of the notion of weak factorisation system (w.f.s.) known as a natural weak factorisation system. In it, the two classes of maps of a w.f.s. are repl…