2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/152680We show that reasonably well behaved 3d and 4D TQFts must contain certain algebraic structures. In 4D, we find both Hopf categories and trialgebras.Latex document. Hand drawn figures on requestHigh Energy Physics - TheoryQuantum Algebratext