Some aspects of basic category theory are developed in a finitely complete category $C$, endowed with two factorization systems which determine the same discrete objects

A certain amount of category theory is developed in an arbitrary finitely complete category with a factorization system on it, playing the role of the