We consider an exactly solvable model in 3+1 dimensions, based on a finitegroup, which is a natural generalization of Kitaev's quantum double model. Thecorresponding lattice Hamiltonian yields excitations located attorus-boundaries. By cutting open the three-torus, we obtain a manifold boundedby two tori which supports states satisfying a higher-dimensional version ofOcneanu's tube algebra. This defines an algebraic structure extending theDrinfel'd double. Its irreducible representations, labeled by two fluxes andone charge, characterize the torus-excitations. The tensor product of suchrepresentations is introduced in order to construct a basis for (3+1)d gaugemodels which relies upon the fusion of the defect excitations. This basis isdefined on manifolds of the form $\Sigma \times \mathbb{S}_1$, with $\Sigma$ atwo-dimensional Riemann surface. As such, our construction is closely relatedto dimensional reduction from (3+1)d to (2+1)d topological orders.