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. (C) 2013 Elsevier Inc. All rights reserved.