Generalized heaps, inverse semigroups and Morita equivalence
Category Theory
2011-04-14 v1
Abstract
Inverse semigroups are the abstract counterparts of pseudogroups of transformations. The abstract counterparts of atlases in differential geometry are what Wagner termed `generalized heaps'. These are sets equipped with a ternary operation satisfying certain axioms. We prove that there is a bijective correspondence between generalized heaps and the equivalence bimodules, defined by Steinberg. Such equivalence bimodules are used to define the Morita equivalence of inverse semigroups. This paper therefore shows that the Morita equivalence of inverse semigroups is determined by Wagner's generalized heaps.
Cite
@article{arxiv.1104.2458,
title = {Generalized heaps, inverse semigroups and Morita equivalence},
author = {M V Lawson},
journal= {arXiv preprint arXiv:1104.2458},
year = {2011}
}