We present a generalized framework for the theory of algebraic weak factorization systems, building on work by Richard Garner and Emily Riehl. We define cyclic 2-fold double categories, and bimonads (or bialgebras) and ...