Contents

# Contents

## Idea

TQFT of dimension 4.

## Constructions

In analogy to how 3d TQFTs are induced from quantum groups/Hopf algebras/ and generally bialgebras (hence 3-modules, the higher space of quantum states assigned to the point which by the cobordism theorem defines the theory) one may build 4d TQFTs from higher analogs of these, namely models of 4-modules given by algebraic structures such as trialgebras and Hopf categories.

## References

Original references include