A constructive approach to the double-categorical small object argument

Benno van den Berg, John Bourke, Paul Seip

Bourke and Garner described how to cofibrantly generate algebraic weak factorisation systems by a small double category of morphisms. However they did not give an explicit construc…