The principal bundles over an inverse semigroup

DOI10.1007/S00233-016-9836-3MaRDI QIDQ2362272zbMATH OpenOpenAlexFDO

Authors Ganna Kudryavtseva, Primoz Skraba

Publication date 7 July 2017

Published in Semigroup Forum (Search for Journal in Brave)

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

zbMATH Keywords

inverse semigroupprincipal bundlesclassifying topos

Mathematics Subject Classification ID

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

Abstract: This paper is a contribution to the development of the theory of representations of inverse semigroups in toposes. It continues the work initiated by Funk and Hofstra. For the topos of sets, we show that torsion-free functors on Loganathan's category $L(S)$ of an inverse semigroup $S$ are equivalent to a special class of non-strict representations of $S$, which we call connected. We show that the latter representations form a proper coreflective subcategory of the category of all non-strict representations of $S$. We describe the correspondence between directed and pullback preserving functors on $L(S)$ and transitive and effective representations of $S$, as well as between filtered such functors and universal representations introduced by Lawson, Margolis and Steinberg. We propose a definition of a universal representation of an inverse semigroup in the topos of sheaves $mathsfSh(X)$ on a topological space $X$ as well as outline an approach on how to define such a representation in an arbitrary topos. We prove that the category of filtered functors from $L(S)$ to the topos $mathsfSh(X)$ is equivalent to the category of universal representations of $S$ in $mathsfSh(X)$.

Recommendations

• Topos theoretic aspects of semigroup actions
• A class of actions of inverse semigroups
• Semigroups and toposes
• The universal covering of an inverse semigroup.
• Inverse semigroup actions as groupoid actions

Cites work

• scientific article; zbMATH DE number 3473929 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1761434 (Why is no real title available?)
• scientific article; zbMATH DE number 789816 (Why is no real title available?)
• Category Theory
• Characterizations of Morita equivalent inverse semigroups.
• Classifying spaces and classifying topoi
• Cohomology of inverse semigroups
• Semigroups and toposes
• Sheaves in geometry and logic: a first introduction to topos theory
• Strong Morita Equivalence of Inverse Semigroups
• The classifying space of an inverse semigroup.
• The universal covering of an inverse semigroup.
• The étale groupoid of an inverse semigroup as a groupoid of filters.
• Topos theoretic aspects of semigroup actions

Cited in

(4)

• Inverse semigroups determined by their bundles of correspondences
• Topos theoretic aspects of semigroup actions
• Inverse semigroups with isomorphic bundles of \(i\)-correspondences
• Toposes for semigroups: an invitation

This page was built for publication: The principal bundles over an inverse semigroup

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