Voir la notice de l'article provenant de la source Theory and Applications of Categories website
A category C is additive if and only if, for every object B of C, the category Pt(C,B) of pointed objects in the comma category (C,B) is canonically equivalent to C. We reformulate the proof of this known result in order to obtain a stronger one that uses not all objects of B of C, but only a conveniently defined generating class S. If C is a variety of universal algebras, then one can take S to be the class consisting of any single free algebra on a non-empty set.
@article{TAC_2006_16_a5, author = {A. Carboni and G. Janelidze}, title = {Points of affine categories and additivity}, journal = {Theory and applications of categories}, pages = {127--131}, publisher = {mathdoc}, volume = {16}, year = {2006}, language = {en}, url = {http://geodesic.mathdoc.fr/item/TAC_2006_16_a5/} }
A. Carboni; G. Janelidze. Points of affine categories and additivity. Theory and applications of categories, Tome 16 (2006), pp. 127-131. http://geodesic.mathdoc.fr/item/TAC_2006_16_a5/