On Algebraic Structures Implicit in Topological Quantum Field Theories
  We show that reasonably well behaved 3d and 4D TQFts must contain certain algebraic structures. In 4D, we find both Hopf categories and trialgebras. 
L. Crane and D. Yetter