  We describe an equivalent formulation of algebraic weak factorisation
systems, not involving monads and comonads, but involving double categories of
morphisms equipped with a lifting operation satisfying lifting and
factorisation axioms.
