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:

Revised on January 27, 2012 19:05:02 by Mike Shulman (