Congruence lattices of ideals in categories and (partial) semigroups

James East, Nik Ruskuc

Research output: Contribution to journalArticlepeer-review


This paper presents a unified framework for determining the congruences on a number of monoids and categories of transformations, diagrams, matrices and braids, and on all their ideals. The key theoretical advances present an iterative process of stacking certain normal subgroup lattices on top of each other to successively build congruence lattices ofa chain of ideals. This is applied to several specific categories of: transformations; order/orientation preserving/reversing transformations; partitions; planar/annular partitions; Brauer, Temperley–Lieb and Jones partitions; linear and projective linear transformations; and partial braids. Special considerations are needed for certain small ideals, and technically more intricate theoretical underpinnings for the linear and partial braid categories.
Original languageEnglish
Pages (from-to)2-108
JournalMemoirs of the American Mathematical Society
Publication statusAccepted/In press - 25 May 2020


  • Categories
  • Semigroups
  • Congruences
  • H-congruences
  • Lattics
  • Ideals


Dive into the research topics of 'Congruence lattices of ideals in categories and (partial) semigroups'. Together they form a unique fingerprint.

Cite this