Abstract
We formulate an alternative approach to describing Ehresmann semigroups by means of left and right étale actions of a meet semilattice on a category. We also characterize the Ehresmann semigroups that arise as the set of all subsets of a finite category. As applications, we prove that every restriction semigroup can be nicely embedded into a restriction semigroup constructed from a category, and we describe when a restriction semigroup can be nicely embedded into an inverse semigroup.
Similar content being viewed by others
Notes
My thanks to the referee for this nice observation.
References
Branco, M.J.J., Gomes, G.M.S., Gould, V.: Ehresmann monoids. J. Algebra 443, 349–382 (2015)
Branco, M.J.J., Gomes, G.M.S., Gould, V., Wang, Y.: Ehresmann monoids: adequacy and expansions. J. Algebra 513, 344–367 (2018)
Cockett, J.R.B., Guo, X., Hofstra, P.: Range categories I: general theory. Theory Appl. Categ. 24, 413–452 (2012)
East, J., Gray, R.D.: Ehresmann theory and partition monoids. J. Algebra. 579, 318–352 (2021)
FitzGerald, D.G., Kinyon, M.K.: Trace- and pseudo-products: restriction-like semigroups with a band of projections. arXiv:2102.09818
Fountain, J.B.: Adequate semigroups. Proc. Edinb. Math. Soc. 22, 113–125 (1979)
Fountain, J., Gomes, G.M.S.: The free ample monoid. Int. J. Algebra Comput. 19, 527–554 (2009)
Funk, J., Steinberg, B.: The universal covering of an inverse semigroup. Appl. Categ. Struct. 18, 135–163 (2010)
Gould, V., Kambites, M.: Faithful functors from cancellative categories to cancellative monoids with an application to abundant semigroups. Int. J. Algebra Comput. 15, 683–698 (2005)
Gould, V.A.R., Lawson, M.V.: A tribute to John B. Fountain. Semigroup Forum 99, 1–8 (2019)
Givant, S.: Duality Theories for Boolean Algebras with Operators. Springer, Berlin (2014)
Kambites, M.: Free adequate semigroups. J. Aust. Math. Soc. 91, 365–390 (2011)
Kudryavtseva, G., Lawson, M.V.: A perspective on non-commutative frame theory. Adv. Math. 311, 378–468 (2017)
Lawson, M.V.: Semigroups and ordered categories I. The reduced case. J. Algebra 141, 422–462 (1991)
Resende, P.: Étale groupoids and their quantales. Adv. Math. 208, 147–209 (2007)
Stein, I.: Ehresmann semigroups and categories. Semigroup Forum 95, 509–526 (2016)
Steinberg, B.: Strong Morita equivalence of inverse semigroups. Houst. J. Math. 37, 895–927 (2011)
Acknowledgements
I would like to thank Prof. V. A. R. Gould of the University of York for her comments on an earlier draft of this paper. I would also like to thank the anonymous referee for their careful reading of the submitted paper and helpful suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Victoria Gould.
This paper is dedicated to the memory of Peter M. Neumann.
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
Lawson, M.V. On Ehresmann semigroups. Semigroup Forum 103, 953–965 (2021). https://doi.org/10.1007/s00233-021-10200-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-021-10200-2