Proper Ehresmann semigroups

DOI10.1017/S0013091523000391MaRDI QIDQ6096875zbMATH OpenOpenAlexFDO

Authors Ganna Kudryavtseva, Valdis Laan

Publication date 15 September 2023

Published in Proceedings of the Edinburgh Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2203.07129

zbMATH Keywords

coverEhresmann semigrouppartial actionproper semigrouprestriction semigroup

Mathematics Subject Classification ID

Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40) General structure theory for semigroups (20M10) Inverse semigroups (20M18) Representation of semigroups; actions of semigroups on sets (20M30) Connections of semigroups with homological algebra and category theory (20M50)

Abstract: We propose a notion of a proper Ehresmann semigroup based on a three-coordinate description of its generating elements governed by certain labelled directed graphs with additional structure. The generating elements are determined by their domain projection, range projection and $sigma$-class, where $sigma$ denotes the minimum congruence that identifies all projections. We prove a structure result on proper Ehresmann semigroups and show that every Ehresmann semigroup has a proper cover. Our covering monoid turns out to be isomorphic to that from the work by Branco, Gomes and Gould and provides a new view of the latter. Proper Ehresmann semigroups all of whose elements admit a three-coordinate description are characterized in terms of partial multiactions of monoids on semilattices. As a consequence we recover the two-coordinate structure result on proper restriction semigroups.

Recommendations

• Ehresmann monoids.
• Ehresmann semigroups from a range restriction viewpoint
• On Ehresmann semigroups
• Fundamental Ehresmann semigroups
• Proper two-sided restriction semigroups and partial actions.

Cites work

• A perspective on non-commutative frame theory
• A REPRESENTATION OF E-UNITARY INVERSE SEMIGROUPS
• Algebras of Ehresmann semigroups and categories
• Almost perfect restriction semigroups
• Ehresmann monoids: adequacy and expansions
• Ehresmann monoids.
• Ehresmann semigroups whose categories are EI and their representation theory
• Ehresmann theory and partition monoids
• Erratum to: ``Algebras of Ehresmann semigroups and categories
• Free adequate semigroups.
• Free Inverse Semigroups
• Fundamental Ehresmann semigroups
• Groups, Semilattices and Inverse Semigroups
• Groups, Semilattices and Inverse Semigroups. II
• scientific article; zbMATH DE number 3869616 (Why is no real title available?)
• scientific article; zbMATH DE number 1761434 (Why is no real title available?)
• Left adequate and left Ehresmann monoids.
• Left adequate and left Ehresmann monoids. II.
• Möbius functions and semigroup representation theory.
• Möbius functions and semigroup representation theory. II: Character formulas and multiplicities.
• Morita equivalence of semigroups with local units.
• On Ehresmann semigroups
• Partial actions and proper extensions of two-sided restriction semigroups
• PARTIAL ACTIONS OF GROUPS
• Partial actions of monoids.
• Partial monoid actions and a class of restriction semigroups.
• Proper two-sided restriction semigroups and partial actions.
• Semigroups and ordered categories. I: The reduced case
• THE FREE AMPLE MONOID
• The structure of type A semigroups
• The word problem for free adequate semigroups.
• Two-sided expansions of monoids

Cited in

(7)

• Ehresmann semigroups from a range restriction viewpoint
• Ehresmann semigroups whose categories are EI and their representation theory
• On Ehresmann semigroups
• Ehresmann monoids.
• Fundamental Ehresmann semigroups
• Relating ample and biample topological categories with Boolean restriction and range semigroups
• The twisted partial group algebra and (co)homology of partial crossed products

This page was built for publication: Proper Ehresmann semigroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6096875)