An orthogonal approach to algebraic weak factorisation systems
Category Theory
2022-12-16 v2
Abstract
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.
Cite
@article{arxiv.2204.09584,
title = {An orthogonal approach to algebraic weak factorisation systems},
author = {John Bourke},
journal= {arXiv preprint arXiv:2204.09584},
year = {2022}
}
Comments
Added intro to double categories and discussion of homotopical examples. Journal version