In the 90s, based on presentations of 3-manifolds by Heegaard diagrams, Kuperberg associated a scalar invariant of 3-manifolds to each finite dimensional involutory Hopf algebra over a field. We generalize this construction to the case of involutory Hopf algebras in arbitrary symmetric monoidal categories admitting certain pairs of morphisms called... Show more