论文标题
代数弱分解系统的正交方法
An orthogonal approach to algebraic weak factorisation systems
论文作者
论文摘要
我们描述了代数弱分解系统的等效表述，而不是涉及单子和共同的辅助，而是涉及配备提升操作的双重类别的形态，满足提升和分解公理。
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.
