2009/08/18 by John C. Baez, Aaron Lauda, Aaron D. Lauda · 1 voice
Mathematics · Physics and Astronomy · Psychology · #Algebraic structures and combinatorial models #Black Holes and Theoretical Physics #Categorical variable #Dream #Epistemology #Field (mathematics) #Geometry #Homotopy and Cohomology in Algebraic Topology #Linguistics #Mathematics #Perspective (graphical) #Philosophy #Physics #Psychology #Pure mathematics #Quantum field theory #Quantum mechanics #Statistics #TRACE (psycholinguistics) #Theoretical physics #gr-qc #hep-th #math.CT #math.QA
paper · pdf · doi:10.1017/cbo9780511976971.003
published as Deep beauty, 13-128, Cambridge Univ. Press, Cambridge, 2011 · 129 pages, 8 eps figures
arxiv created 2009/08/18 · arxiv published 2009/08/18 · openalex publication_date 2011/04/18 · arxiv updated 2012/04/16 · openalex created_date 2016/06/24 · openalex updated_date 2026/08/06
Introduction This chapter is a highly subjective chronology describing how physicists have begun to use ideas from n -category theory in their work, often without making this explicit. Somewhat arbitrarily, we start around the discovery of relativity and quantum mechanics and lead up to conformal field theory and topological field theory. In parallel, we trace a bit of the history of n -categories, from Eilenberg and Mac Lane's introduction of categories, to later work on monoidal and braided monoidal categories, to Grothendieck's dreams involving ∞-categories, and subsequent attempts to realize this dream. Our chronology ends at the dawn of the twenty-first century; since then, developments have been coming so thick and fast that we have not had time to put them in proper perspective. We call this chapter a “prehistory” because n -categories and their applications to physics are still in their infancy. We call it “a” prehistory because it represents just one view of a multifaceted subject; many other such stories can and should be told. Ross Street's An Australian Conspectus of Higher Categories [228] is a good example in that it overlaps with ours, but only slightly. There are many aspects of n -categorical physics that our chronology fails to mention, or touches on very briefly, and other stories could redress these deficiencies. It would also be good to have a story of n -categories that focus on algebraic topology, one that focuses on algebraic geometry, and one that focuses on logic.