Duality, compact groups, nontrivial center, 
tensor C*-categories, Hilbert C*-modules