An enhanced factorisation system on a 2-category is a factorisation system on a 2-category such that, for any invertible 2-cell
there is a unique pair of a 1-cell and invertible 2-cell such that and .
Enhanced factorisation systems were defined in
attributed to Max Kelly.
Last revised on December 15, 2022 at 14:17:49. See the history of this page for a list of all contributions to it.