*** Welcome to piglix ***

Enough injectives


In mathematics, especially in the field of category theory, the concept of injective object is a generalization of the concept of injective module. This concept is important in homotopy theory and in theory of model categories. The dual notion is that of a projective object.

Let be a category and let be a class of morphisms of .


...
Wikipedia

...