physics, mathematical physics, philosophy of physics
theory (physics), model (physics)
experiment, measurement, computable physics
Axiomatizations
Tools
Structural phenomena
Types of quantum field thories
A topological quantum field theory is a quantum field theory which – as a functorial quantum field theory – is a functor on a flavor of the (∞,n)-category of cobordisms $Bord_n^S$, where the n-morphisms are cobordisms without any non-topological further structure $S$ – for instance no Riemannian metric structure – but possibly some “topological structure”, such as Spin structure or similar.
For more on the general idea and its development, see FQFT and extended topological quantum field theory.
Often topological quantum field theories are just called topological field theories and accordingly the abbreviation TQFT is reduced to TFT. Strictly speaking this is a misnomer, which is however convenient and very common. It should be noted, however, that TQFTs may have classical counterparts which would better deserve to be called TFTs. But they are not usually.
In contrast to topological QFTs, non-topological quantum field theories in the FQFT description are $n$-functors on $n$-categories $Bord^S_n$ whose morphisms are manifolds with extra $S$-structure, for instance
$S =$ conformal structure $\to$ conformal field theory
$S =$ Riemannian structure $\to$ “euclidean QFT”
$S =$ pseudo-Riemannian structure $\to$ “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’ $X$. 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.
The FQFT-axioms for global (i.e. 1-functorial) TQFTs are due to
Lecture notes include
For HQFT see there
An introduction to 2d TQFTs? is in
The local FQFT formulation (i.e. n-functorial) together with the cobordism hypothesis was suggested in
and formalized and proven in
Lecture notes include
Othe amplifying the aspects of higher category theory is in
See also
Indication of local quantization in the context of infinity-Dijkgraaf-Witten theory is in