Injective hulls of monars over inverse semigroups

A monar is an algebra with unary operations that represents a semigroup acting on a set. Inverse semigroups have “sufficiently many” injective monars, and inverse semigroup monars have injective hulls. These injective hulls are described.