On the foundations of inverse monoids and inverse algebras
Jonathan Leech · Proceedings of the Edinburgh Mathematical Society · 1998
Symmetric inverse monoids of objects in arbitrary categories are studied. Necessary and sufficient conditions are given for such monoids to be E-unitary or else form (complete) inverse algebras. Particular attention is given to symmetric inverse monoids of objects in free categories.