TY - JOUR AU - Dominique Bourn TI - A categorical genealogy for the congruence distributive property JO - Theory and applications of categories PY - 2001 SP - 391 EP - 407 VL - 8 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TAC_2001_8_a13/ LA - en ID - TAC_2001_8_a13 ER -