  We present a construction for the holomorph of an inverse semigroup, derived
from the cartesian closed structure of the category of ordered groupoids. We
compare the holomorph with the monoid of mappings that preserve the ternary
heap operation on an inverse semigroup: for groups these two constructions
coincide. We present detailed calculations for semilattices of groups and for
the polycyclic monoids.
