The rack congruence condition and half congruences in racks

Wayne Burrows, Christopher Tuffley

Racks and quandles are algebraic structures with a single binary operation that is right self-distributive and right invertible, and additionally idempotent in the case of quandles…