Hoefnagel, MichaelRodelo, Diana2026-05-132026-05-132024-01-101201-561Xhttp://hdl.handle.net/10400.1/28938Abstract. We study a categorical condition on relations, which is a categorical formulation of Jónsson’s characterisation of congruence distributive varieties. Categories satisfying these conditions need not be varieties; for instance, the dual of the categories of topological spaces, ordered sets, G-sets, and the dual of any (pre)topos all provide us with examples.engCongruence distributivityMajority categoryMal’tsev conditionN-permutabilityRegular categoryTrapezoid lemmajournal article10.70930/tac/ugrides5