- #1

marcus

Science Advisor

Gold Member

Dearly Missed

- 24,738

- 784

## Main Question or Discussion Point

I believe that the Axioms for TQFT were set out by Atiyah

in 1990 and that one of the equivalent definitions of a TQFT is in

category terms: a TQFT is a functor from the category of n-dimensional cobordisms to the category of Hilbert spaces, satisfying certain conditions.

Is anyone familiar with the category theory definition? If not too convoluted maybe you could run through it?

in 1990 and that one of the equivalent definitions of a TQFT is in

category terms: a TQFT is a functor from the category of n-dimensional cobordisms to the category of Hilbert spaces, satisfying certain conditions.

Is anyone familiar with the category theory definition? If not too convoluted maybe you could run through it?