We describe the constructions of implosion and contraction for
complex-symplectic or hyperkahler manifolds. Implosions are examples
of nonreductive quotients in geometric invariant theory. We can
interpret both constructions in terms of a generalisation of the
Moore-Tachikawa category that was introduced in physics.