Tiling Semigroups

It has recently been shown how to construct an inverse semigroup from any tiling: a construction having applications in K-theoretical gap-labelling. In this paper, we provide the categorical basis for this construction in terms of an appropriate group acting partially and without fixed points on an inverse category associated with the tiling.