Higher-Dimensional Algebra: A Language for Quantum Spacetime

Recording Details

Scientific Areas: 
PIRSA Number: 


Category theory is a general language for describing things and processes - called "objects" and "morphisms". In this language, many counterintuitive features of quantum theory turn out to be properties shared by the category of Hilbert spaces and the category of cobordisms, in which objects are choices of "space" and emorphisms are choices of "spacetime". This striking fact suggests that "n-categories with duals" are a promising language for a quantum theory of spacetime. We sketch the historical development of these ideas from Feynman diagrams to string theory, topological quantum field theory, spin networks and spin foams, and especially recent work on open-closed string theory, 3d quantum gravity coupled to point particles, and 4d BF theory coupled to strings.