The Algebraic Small Object Argument

For my thesis I wrote a formalization of the Algebraic Small Object Argument by Richard Garner. It is a construction in Category Theory, used to generate Natural Weak Factorization Systems. […]