Actions and partial actions of inductive constellations

Abstract

Constellations were recently introduced by the authors as one-sided analogues of categories: a constellation is equipped with a partial multiplication for which ‘domains’ are defined but, in general, ‘ranges’ are not. Left restriction semigroups are the algebraic objects modelling semigroups of partial mappings, equipped with local identities in the domains of the mappings. Inductive constellations correspond to left restriction semigroups in a manner analogous to the correspondence between inverse semigroups and inductive groupoids.