Abstract
We ascertain conditions and structures on categories and semigroups which admit the construction of pseudo-products and trace products respectively, making their connection as precise as possible. This topic is modelled on the ESN Theorem and its generalisation to ample semigroups. Unlike some other variants of ESN, it is self-dual (two-sided), and the condition of commuting projections is relaxed. The condition that projections form a band (are closed under multiplication) is shown to be a very natural one. One-sided reducts are considered, and compared to (generalised) D-semigroups. Finally the special case when the category is a groupoid is examined.
Similar content being viewed by others
References
Araújo, J., Kinyon, M.K., Konieczny, J., Malheiro, A.: Four notions of conjugacy for abstract semigroups. Proc. R. Soc. Edinb. Sect. A. 147, 1169–1214 (2017). https://doi.org/10.1017/S0308210517000099
Branco, M.J.J., Gomes, M.S., Gould, V.: Ehresmann monoids. J. Algebra 443, 349–382 (2015). https://doi.org/10.1016/j.jalgebra.2015.06.035
Cockett, J.R.B., Lack, S.: Restriction categories I. Categories of partial maps. Theoret. Comput. Sci. 270, 223–259 (2002). https://doi.org/10.1016/S0304-3975(00)00382-0
El-Qallali, A.: Congruences on ample semigroups. Semigroup Forum 99, 607–631 (2019). https://doi.org/10.1007/s00233-018-9988-4
El-Qallali, A., Fountain, J., Gould, V.: Fundamental representations for classes of semigroups containing a band of idempotents. Commun. Algebra 36, 2998–3031 (2008). https://doi.org/10.1080/00927870802110649
FitzGerald, D.G.: Groupoids on a skew lattice of objects. Art Discr. Appl. Math (2019). https://doi.org/10.26493/2590-9770.1342.109
Gomes, G.M.S., Gould, V.: Fundamental semigroups having a band of idempotents. Semigroup Forum 77, 279–299 (2008). https://doi.org/10.1007/s00233-007-9041-5
Gould, V.: Notes on restriction semigroups. http://www-users.york.ac.uk/ varg1/restriction.pdf (2010). Accessed 22 August 2020
Gould, V., Stokes, T.: Constellations and their relationship with categories. Algebra Univers. 77, 271–304 (2017). https://doi.org/10.1007/s00012-017-0432-5
Hollings, C.: From right PP monoids to restriction semigroups: a survey. Eur. J. Pure Appl. Math. 2, 21–57 (2009)
Hollings, C.: The Ehresmann–Schein–Nambooripad theorem and its successors. Eur. J. Pure Appl. Math. 5, 414–450 (2012)
Jones, P.R.: A common framework for restriction semigroups and regular \(\ast \)-semigroups. J. Pure Appl. Algebra 216, 618–632 (2012). https://doi.org/10.1016/j.jpaa.2011.07.014
Kudryavtseva, G.: Two-sided expansions of monoids. Int. J. Algebra Comput. 29, 1467–1498 (2019). https://doi.org/10.1142/S0218196719500590
Lawson, M.V.: Inverse Semigroups: The Theory of Partial Symmetries. World Scientific, River Edge (1998)
Lawson, M.V.: Semigroups and ordered categories I. The reduced case. J. Algebra 141, 422–462 (1991). https://doi.org/10.1016/0021-8693(91)90242-Z
Lawson, M.V.: On Ehresmann semigroups. Semigroup Forum (2021). https://doi.org/10.1007/s00233-021-10200-22021
Malandro, M.E.: Enumeration of finite inverse semigroups. Semigroup Forum 99, 679–729 (2019). https://doi.org/10.1007/s00233-019-10054-9
Miller, D.D., Clifford, A.H.: Regular \(\mathscr {D}\)-classes in semigroups. Trans. Am. Math. Soc. 82, 270–280 (1956). https://doi.org/10.2307/1992989
Nordahl, T.E., Scheiblich, H.E.: Regular \(\ast \)-semigroups. Semigroup Forum 16, 369–377 (1978). https://doi.org/10.1007/BF02194636
Petrich, M., Reilly, N.R.: Completely Regular Semigroups. Canadian Mathematical Society Series of Monographs and Advanced Texts, vol. 23. Wiley, New York, NY (1999)
Stokes, T.: D-semigroups and constellations. Semigroup Forum 94, 442–462 (2017). https://doi.org/10.1007/s00233-017-9851-z
Stokes, T.: Generalised domain and E-inverse semigroups. Semigroup Forum 97, 32–52 (2018). https://doi.org/10.1007/s00233-018-9917-6
Stokes, T.: How to generalise demonic composition. Semigroup Forum 102, 288–314 (2021). https://doi.org/10.1007/s00233-020-10117-2
Szendrei, M.B.: Structure theory of regular semigroups. Semigroup Forum 100, 119–140 (2020). https://doi.org/10.1007/s00233-019-10055-8
Wang, Y.: Weakly \(B\)-orthodox semigroups. Period. Math. Hung. 68, 13–38 (2014). https://doi.org/10.1007/s10998-014-0023-6
Acknowledgements
The authors thank a referee and the editor for the improvements resulting from (respectively) their gently pointing out a nonsensical passage and suggesting additional references. For sharing some of their work before publication, they thank Mark Lawson and Tim Stokes, who also made helpful comments on drafts of this work including detecting errors.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Victoria Gould.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
FitzGerald, D.G., Kinyon, M.K. Trace- and pseudo-products: restriction-like semigroups with a band of projections. Semigroup Forum 103, 848–866 (2021). https://doi.org/10.1007/s00233-021-10221-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-021-10221-x