The principal bundles over an inverse semigroup

DOI10.1007/S00233-016-9836-3zbMATH Open1422.20039arXiv1503.08560OpenAlexW2963873125MaRDI QIDQ2362272FDOQ2362272

Authors: Ganna Kudryavtseva, Primoz Skraba 

Publication date: 7 July 2017

Published in: Semigroup Forum (Search for Journal in Brave)

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)$.

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

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

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)

Cites Work

• Title not available (Why is that?)
• Sheaves in geometry and logic: a first introduction to topos theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Strong Morita Equivalence of Inverse Semigroups
• Category Theory
• Semigroups and toposes
• Classifying spaces and classifying topoi
• Cohomology of inverse semigroups
• The universal covering of an inverse semigroup.
• Characterizations of Morita equivalent inverse semigroups.
• Topos theoretic aspects of semigroup actions
• The étale groupoid of an inverse semigroup as a groupoid of filters.
• The classifying space of an inverse semigroup.

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)