East, J., &amp; Ruškuc, N. (2023). <i>Congruence Lattices of Ideals in Categories and (Partial) Semigroups.</i> First edition. Providence, RI: American Mathematical Society.