TY - RPRT TI - An Algebraic Weak Factorisation System on 01-Substitution Sets: A Constructive Proof AU - Andrew Swan PY - 2016 DO - 10.4115/jla.2016.8.1 UR - https://arxiv.org/abs/1409.1829 ID - 1409.1829 ER -