Voir la notice de l'article provenant de la source Theory and Applications of Categories website
In the context of Mal'cev categories, a left exact root for the congruence distributive property is given and investigated, namely the property that there is no non trivial internal group inside the fibres of the fibration of pointed objects. Indeed, when moreover the basic category $\mathbb{C}$ is Barr exact, the two previous properties are shown to be equivalent.
@article{TAC_2001_8_a13, author = {Dominique Bourn}, title = {A categorical genealogy for the congruence distributive property}, journal = {Theory and applications of categories}, pages = {391--407}, publisher = {mathdoc}, volume = {8}, year = {2001}, language = {en}, url = {http://geodesic.mathdoc.fr/item/TAC_2001_8_a13/} }
Dominique Bourn. A categorical genealogy for the congruence distributive property. Theory and applications of categories, Tome 8 (2001), pp. 391-407. http://geodesic.mathdoc.fr/item/TAC_2001_8_a13/