The universal covering of an inverse semigroup.
type: Item
instance of: scholarly article
title: The universal covering of an inverse semigroup.
zbMATH Open document ID: 1201.20060
author: Jonathon Funk
author: Benjamin Steinberg
published in: Applied Categorical Structures
publication date: 2010-05-07T00:00:00Z
review text: Considerable part of the article is devoted to presheaves on a small category. For example, transition injective presheaves (that is, its transition maps are injective) as well as transition bijective presheaves on a small category are described. The results obtained are applied to the category \(L(T)\), \(T\) an inverse semigroup, whose objects are the idempotents of \(T\), and morphisms \(t\colon e\to f\) are elements of \(T\) such that \(e=t^*t\) and \(t=ft\). Denoting by \(\mathcal B(T)\) the topos of presheaves on the category \(L(T)\) and by \(\mathbf S(e)=\{t\mid t^*t=s\}\) the Schützenberger presheaf, it follows, that \(\mathbf S\) is a torsion-free generator of \(\mathcal B(T)\) and splits all locally constant objects. Moreover, it is proved that the underlying set of the maximum group image of \(T\) is isomorphic to the set of connected components of \(\mathbf S\times\mathbf S\). The final two sections of the article are mainly devoted to revealing some properties of E-unitary inverse semigroups (an inverse semigroup is said to be `E-unitary' if the compatibility relation on it is transitive; elements \(s\) and \(t\) are said to be `compatible' if \(st^*\) and \(s^*t\) are idempotents). For example, an inverse monoid \(T\) is E-unitary if and only if \(\mathcal B(T)\) is locally decidable. Some facts the article is based on (the `localic groupoid' definition of the classifying topos of an inverse semigroup \(T\) and of an étale right \(T\)-set; some information about topoi etc.) are presented in the appendices.
reviewed by: Peeter Normak
Mathematics Subject Classification ID: 20M18
Mathematics Subject Classification ID: 18B25
Mathematics Subject Classification ID: 18F20
Mathematics Subject Classification ID: 20L05
Mathematics Subject Classification ID: 20M50
zbMATH DE Number: 5705491
zbMATH Keywords: topoi
zbMATH Keywords: E-unitary inverse semigroups
zbMATH Keywords: geometric morphisms
zbMATH Keywords: presheaves
zbMATH Keywords: small categories
MaRDI profile type: Publication
full work available at URL: s10485-008-9147-2
OpenAlex ID: W2092385955
cites work: Q3926769
cites work: Molecular toposes
cites work: Galois theories
cites work: Q4663629
cites work: Quasicomponents in topos theory: the hyperpure, complete spread factorization
cites work: Singular coverings of toposes
cites work: Q3243614
cites work: Semigroups and toposes
cites work: Q4704205
cites work: An application of groupoids of fractions to inverse semigroups
cites work: Q4145861
cites work: Q3965241
cites work: Q4828514
cites work: An extension of the Galois theory of Grothendieck
cites work: Q3986545
cites work: Cohomology of inverse semigroups
cites work: Q4537454
cites work: Sheaves in geometry and logic: a first introduction to topos theory
cites work: A Note onE-Unitary Inverse Semigroups
cites work: Inverse semigroups as extensions of semilattices
cites work: Idempotent determined congruences on inverse semigroups
cites work: Q4085903
DOI: 10.1007/S10485-008-9147-2
description: scientific article; zbMATH DE number 5705491