Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
139 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
46 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Proper Ehresmann semigroups (2203.07129v2)

Published 14 Mar 2022 in math.RA

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.

Summary

We haven't generated a summary for this paper yet.