John C. Baez,Aaron Lauda
Abstract:This paper traces the growing role of categories and n-categories in physics, starting with groups and their role in relativity, and leading up to more sophisticated concepts which manifest themselves in Feynman diagrams, spin networks, string theory, loop quantum gravity, and topological quantum field theory. Our chronology ends around 2000, with just a taste of later developments such as open-closed topological string theory, the categorification of quantum groups, Khovanov homology, and Lurie's work on the classification of topological quantum field theories.
High Energy Physics - Theory,General Relativity and Quantum Cosmology,Category Theory,Quantum Algebra
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to trace back and sort out the history of the application of category theory and its higher - order forms (n - categories) in physics. Specifically, starting from the discoveries of relativity and quantum mechanics, the paper explores how these mathematical tools have gradually become an indispensable part of physicists' research process, especially when dealing with processes that can be graphically represented (such as Feynman diagrams, spin networks, string theory, loop quantum gravity and topological quantum field theory). The paper also briefly mentions some developments after 2000, such as open - closed topological string theory, categorization of quantum groups, Khovanov homology and Lurie's work on the classification of topological quantum field theory.
### Main Objectives
1. **Demonstrating the Application of n - Categories**: The paper shows how n - categories have gradually been regarded as an effective mathematical tool for formalizing physical processes that can be represented by multi - dimensional diagrams. These processes are not limited to sequential occurrence in time, but can also occur simultaneously, and even involve the exchange of positions between particles or objects.
2. **Historical Background**: The paper reviews in detail the application history of n - categories in physics from the early 20th century to the early 21st century. It not only focuses on the development of physics, but also involves the mathematical development of n - categories themselves, from the introduction of the concept of categories by Eilenberg and Mac Lane, to the later research on monoidal and braided monoidal categories, and then to Grothendieck's dream about ∞ - categories and its subsequent realization.
3. **Two Main Lines of Thought**: The paper distinguishes two main development threads:
- **Quantum Mechanics Direction**: From the understanding of symmetry in quantum mechanics to Feynman diagrams and Penrose's "spin network" theory.
- **General Relativity Direction**: From Einstein's general relativity to gauge theories and higher - order gauge theories, which interpret forces as spacetime curvature.
### Paper Structure
- **Introduction**: Introduces the importance of n - categories in physics and briefly explains the structure of the paper.
- **Roadmap**: Outlines why category theory has become useful in physics and how n - categories extend this concept.
- **Chronicle**: Reviews in detail the key events and figures from the late 19th century to the early 21st century, including the contributions of Maxwell, Poincaré, Lorentz, Einstein, Minkowski, Heisenberg, Born, von Neumann, Wigner, Eilenberg and Mac Lane, etc.
### Conclusion
The paper believes that although the application of n - categories in physics is still in its infancy, its potential is huge. By formalizing physical processes, n - categories provide a new language and tool, which helps physicists better understand and describe complex physical phenomena. The paper emphasizes that these two main development threads may eventually merge, thus providing new ways to unify quantum mechanics and general relativity.