Stable factorization from a fibred algebraic weak factorization system

Evan Cavallo

We present a construction of stable diagonal factorizations, used to define categorical models of type theory with identity types, from a family of algebraic weak factorization sys…