An **enhanced factorisation system** on a 2-category is an orthogonal factorisation system on a 2-category such that, for any invertible 2-cell $\alpha : t e \Rightarrow m s$

there is a unique pair of a 1-cell $r : B \to C$ and invertible 2-cell $\beta : t \Rightarrow m r$ such that $r e = s$ and $\beta e = \alpha$.

Enhanced factorisation systems were defined in

- Stephen Lack.
*Codescent objects and coherence*. Journal of Pure and Applied Algebra**175**1-3 (2002) 223-241 [doi:10.1016/S0022-4049(02)00136-6]

attributed to Max Kelly.

Last revised on July 19, 2024 at 11:38:51. See the history of this page for a list of all contributions to it.