I have taken some liberties with the wording involving images in 1.3 [0003] in order to conform with English mathematical usage; for instance, I have translated phrases like “prendre l’image par $f$ d’un sous-objet de $X$” as “restricting the image of $f$ to a subobject of $X$”.