In the context of mathematics, particularly in category theory, a **factorization system** is a pair of classes of morphisms in a category that satisfies certain properties. It is a formal way to describe how morphisms can be factored through other morphisms, and it captures some essential aspects of various mathematical structures.
New to topics? Read the docs here!