(higher) category theory and physics
state, configuration space;
propagation
Lagrangian mechanics?
Axiomatizations
Tools
Models
Phenomena
Types of quantum field thories
A topological quantum field theory is a quantum field theory which is a functorial quantum field theory is a functor on the (infinity,n)-category of cobordisms that do not carry any further structure.
For more on the general idea and its development, see FQFT and extended topological quantum field theory. For the central structural result in TQFT, the cobordism hypothesis see
In constrast to topological QFTs, non-topological quantum field theories in the FQFT description are -functors on -categories whose morphisms are manifolds with extra -structure, for instance
conformal structure conformal field theory
Riemannian structure “euclidean QFT”
pseudo-Riemannian structure “relativistic QFT”
These somehow lie between the previous two types. There is some simple extra structure in the form of a ‘characteristic map’ from the manifolds and bordisms to a ‘background space’ . In many of the simplest examples, this is taken to be the classifying space of a group, but this is not the only case that can be considered. The topic is explored more fully in HQFT.