nLab strict factorization system

A strict factorization system is like an orthogonal factorization system, but the factorizations are specified uniquely on the nose, rather than merely up to isomorphism.

One reason these are of interest is that they can be identified with distributive laws in the bicategory of spans, as shown in

Ordinary orthogonal factorization systems can be similarly characterized by:

Last revised on January 27, 2012 at 19:05:02. See the history of this page for a list of all contributions to it.