Proposición 3.1.3 de "Handbook of Categorical"