Connections between semigroups and categories with (thin) strict factorization systems
Since the seminal work of Nambooripad (among others), people have been interested in representing semigroups by categories. This led to the well-known equivalence between inverse semigroups and inductive groupoids (the ESN theorem), or the less-known equivalences between the category of regular semigroups, the category of regular inductive groupoids, and the category of cross-connections.