||The lead section of this article may need to be rewritten. (October 2013) (Learn how and when to remove this template message)|
- This article is about higher-dimensional algebra and supercategories in generalized category theory, super-category theory, and also its extensions in nonabelian algebraic topology and metamathematics.
Supercategories were first introduced in 1970, and were subsequently developed for applications in theoretical physics (especially quantum field theory and topological quantum field theory) and mathematical biology or mathematical biophysics.
Double groupoids, fundamental groupoids, 2-categories, categorical QFTs and TQFTs
In higher-dimensional algebra (HDA), a double groupoid is a generalisation of a one-dimensional groupoid to two dimensions, and the latter groupoid can be considered as a special case of a category with all invertible arrows, or morphisms.
Double groupoids are often used to capture information about geometrical objects such as higher-dimensional manifolds (or n-dimensional manifolds). In general, an n-dimensional manifold is a space that locally looks like an n-dimensional Euclidean space, but whose global structure may be non-Euclidean. A first step towards defining higher dimensional algebras is the concept of 2-category of higher category theory, followed by the more 'geometric' concept of double category. Other pathways in HDA involve: bicategories, homomorphisms of bicategories, variable categories (aka, indexed, or parametrized categories), topoi, effective descent, enriched and internal categories, as well as quantum categories and quantum double groupoids. In the latter case, by considering fundamental groupoids defined via a 2-functor allows one to think about the physically interesting case of quantum fundamental groupoids (QFGs) in terms of the bicategory Span(Groupoids), and then constructing 2-Hilbert spaces and 2-linear maps for manifolds and cobordisms. At the next step, one obtains cobordisms with corners via natural transformations of such 2-functors. A claim was then made that, with the gauge group SU(2), "the extended TQFT, or ETQFT, gives a theory equivalent to the Ponzano-Regge model of quantum gravity"; similarly, the Turaev-Viro model would be then obtained with representations of SU_q(2). Therefore, one can describe the state space of a gauge theory – or many kinds of quantum field theories (QFTs) and local quantum physics, in terms of the transformation groupoids given by symmetries, as for example in the case of a gauge theory, by the gauge transformations acting on states that are, in this case, connections. In the case of symmetries related to quantum groups, one would obtain structures that are representation categories of quantum groupoids, instead of the 2-vector spaces that are representation categories of groupoids.
Double categories, Category of categories and Supercategories
A higher level concept is thus defined as a category of categories, or super-category, which generalises to higher dimensions the notion of category – regarded as any structure which is an interpretation of Lawvere's axioms of the elementary theory of abstract categories (ETAC). Thus, a supercategory and also a super-category, can be regarded as natural extensions of the concepts of meta-category, multicategory, and multi-graph, k-partite graph, or colored graph (see a color figure, and also its definition in graph theory).
Double groupoids were first introduced by Ronald Brown in 1976, in ref. and were further developed towards applications in nonabelian algebraic topology. A related, 'dual' concept is that of a double algebroid, and the more general concept of R-algebroid.
Nonabelian algebraic topology
Many of the higher dimensional algebraic structures are noncommutative and, therefore, their study is a very significant part of nonabelian category theory, and also of Nonabelian Algebraic Topology (NAAT) which generalises to higher dimensions ideas coming from the fundamental group. Such algebraic structures in dimensions greater than 1 develop the nonabelian character of the fundamental group, and they are in a precise sense ‘more nonabelian than the groups' . These noncommutative, or more specifically, nonabelian structures reflect more accurately the geometrical complications of higher dimensions than the known homology and homotopy groups commonly encountered in classical algebraic topology. An important part of nonabelian algebraic topology is concerned with the properties and applications of homotopy groupoids and filtered spaces. Noncommutative double groupoids and double algebroids are only the first examples of such higher dimensional structures that are nonabelian. The new methods of Nonabelian Algebraic Topology (NAAT) ``can be applied to determine homotopy invariants of spaces, and homotopy classification of maps, in cases which include some classical results, and allow results not available by classical methods". Cubical omega-groupoids, higher homotopy groupoids, crossed modules, crossed complexes and Galois groupoids are key concepts in developing applications related to homotopy of filtered spaces, higher dimensional space structures, the construction of the fundamental groupoid of a topos E in the general theory of topoi, and also in their physical applications in nonabelian quantum theories, and recent developments in quantum gravity, as well as categorical and topological dynamics. Further examples of such applications include the generalisations of noncommutative geometry formalizations of the noncommutative standard models via fundamental double groupoids and spacetime structures even more general than topoi or the lower-dimensional noncommutative spacetimes encountered in several topological quantum field theories and noncommutative geometry theories of quantum gravity.
A fundamental result in NAAT is the generalised, higher homotopy van Kampen theorem proven by R. Brown which states that ``the homotopy type of a topological space can be computed by a suitable colimit or homotopy colimit over homotopy types of its pieces''. A related example is that of van Kampen theorems for categories of covering morphisms in lextensive categories. Other reports of generalisations of the van Kampen theorem include statements for 2-categories and a topos of topoi . Important results in HDA are also the extensions of the Galois theory in categories and variable categories, or indexed/`parametrized' categories. The Joyal-Tierney representation theorem for topoi is also a generalisation of the Galois theory. Thus, indexing by bicategories in the sense of Benabou one also includes here the Joyal-Tierney theory.
- Timeline of category theory and related mathematics
- Higher category theory
- Category theory
- Ronald Brown
- Algebraic topology
- Lie algebroid
- Double groupoid
- Quantum Algebraic Topology
- Seifert–van Kampen theorem
- Chain complex
- Homological algebra
- Homology theory
- Galois theory
- Anabelian geometry
- Quantum geometry
- Noncommutative geometry
- Abstract algebra
- Categorical algebra
- Grothendieck's Galois theory
- Grothendieck topology
- Topological dynamics
- Topological quantum field theory
- Local quantum field theory
- Categorical dynamics
- Quantum group
- Quantum gravity
- Categorical group
- Fundamental group
- Crossed module
- Pursuing stacks
- Esquisse d'un Programme
- Colored graphs
- Enriched category
- Roger Bishop Jones. 2008. The Category of Categories http://www.rbjones.com/rbjpub/pp/doc/t018.pdf
- Supercategory theory @ PlanetMath
- Brown, R.; Spencer, C.B. (1976). "Double groupoids and crossed modules". Cahiers Top. Géom. Diff. 17: 343–362.
- Brown, R.; Spencer, C.B. (1976). "Double groupoids and crossed modules" (PDF). Cahiers Top. Géom. Diff. 17: 343–362.
- Brown, R.; Loday, J.-L. (1987). "Homotopical excision, and Hurewicz theorems, for n-cubes of spaces". Proceedings of the London Mathematical Society. 54 (1): 176–192. doi:10.1112/plms/s3-54.1.176.
- Batanin, M.A. (1998). "Monoidal Globular Categories As a Natural Environment for the Theory of Weak n-Categories". Advances in Mathematics. 136 (1): 39–103. doi:10.1006/aima.1998.1724.
- http://planetmath.org/encyclopedia/QuantumCategory.html Quantum Categories of Quantum Groupoids
- http://planetmath.org/encyclopedia/AssociativityIsomorphism.html Rigid Monoidal Categories
- http://theoreticalatlas.wordpress.com/2009/03/18/a-note-on-quantum-groupoids/ March 18, 2009. A Note on Quantum Groupoids, posted by Jeffrey Morton under C*-algebras, deformation theory, groupoids, noncommutative geometry, quantization
- Lawvere, F. W., 1964, ``An Elementary Theory of the Category of Sets, Proceedings of the National Academy of Sciences U.S.A., 52, 1506–1511. http://myyn.org/m/article/william-francis-lawvere/
- Lawvere, F. W.: 1966, The Category of Categories as a Foundation for Mathematics., in Proc. Conf. Categorical Algebra – La Jolla., Eilenberg, S. et al., eds. Springer-Verlag: Berlin, Heidelberg and New York., pp. 1–20. http://myyn.org/m/article/william-francis-lawvere/
- Lawvere, F. W., 1969b, ``Adjointness in Foundations, Dialectica, 23, 281–295. http://myyn.org/m/article/william-francis-lawvere/
- Non-Abelian Algebraic Topology book
- Nonabelian Algebraic Topology: Higher homotopy groupoids of filtered spaces
- Brown, R.; et al. (2009). Nonabelian Algebraic Topology: Higher homotopy groupoids of filtered spaces (in press).
- *Brown, R.; Higgins, P.J.; Sivera, R. (2008). Non-Abelian Algebraic Topology. 1. (Downloadable PDF)
- http://www.ems-ph.org/pdf/catalog.pdf Ronald Brown, Philip Higgins, Rafael Sivera, Nonabelian Algebraic Topology: Filtered spaces, crossed complexes, cubical homotopy groupoids, in Tracts in Mathematics vol. 15 (2010), European Mathematical Society, 670 pages, ISBN 978-3-03719-083-8
- http://arxiv.org/abs/math/0407275 Nonabelian Algebraic Topology by Ronald Brown. 15 Jul 2004
- http://golem.ph.utexas.edu/category/2009/06/nonabelian_algebraic_topology.html Nonabelian Algebraic Topology posted by John Baez
- http://planetphysics.org/?op=getobj&from=books&id=374 Nonabelian Algebraic Topology: Filtered Spaces, Crossed Complexes and Cubical Homotopy groupoids, by Ronald Brown, Bangor University, UK, Philip J. Higgins, Durham University, UK Rafael Sivera, University of Valencia, Spain
- http://www.springerlink.com/content/92r13230n3381746/ A Conceptual Construction of Complexity Levels Theory in Spacetime Categorical Ontology: Non-Abelian Algebraic Topology, Many-Valued Logics and Dynamic Systems by R. Brown et al., Axiomathes, Volume 17, Numbers 3-4, 409-493, doi:10.1007/s10516-007-9010-3
- Ronald Brown and George Janelidze, van Kampen theorems for categories of covering morphisms in lextensive categories, J. Pure Appl. Algebra. 119:255–263, (1997)
- http://web.archive.org/web/20050720094804/http://www.maths.usyd.edu.au/u/stevel/papers/vkt.ps.gz Marta Bunge and Stephen Lack. Van Kampen theorems for 2-categories and toposes
- http://www.springerlink.com/content/gug14u1141214743/ George Janelidze, Pure Galois theory in categories, J. Alg. 132:270–286, 199
- http://www.springerlink.com/content/gug14u1141214743/ Galois theory in variable categories., by George Janelidze, Dietmar Schumacher and Ross Street, in APPLIED CATEGORICAL STRUCTURES, Volume 1, Number 1, 103--110, doi:10.1007/BF00872989
- Joyal, Andres; Tierney, Myles (1984). An extension of the Galois theory of Grothendieck. 309. American Mathematical Society. ISBN 0-8218-2312-4.
- MSC(1991): 18D30,11R32,18D35,18D05
- Brown, R.; Higgins, P.J.; Sivera, R. (2011). Nonabelian Algebraic Topology: filtered spaces, crossed complexes, cubical homotopy groupoids. Tracts Vol 15. European Mathematical Society. doi:10.4171/083. ISBN 978-3-03719-083-8. (Downloadable PDF available)
- Brown, R.; Spencer, C.B. (1976). "Double groupoids and crossed modules". Cahiers Top. Géom. Diff. 17: 343–362.
- Brown, R.; Mosa, G.H. (1999). "Double categories, thin structures and connections". Theory and Applications of Categories. 5: 163–175.
- Brown, R. (2002). Categorical Structures for Descent and Galois Theory. Fields Institute.
- Brown, R. (1987). "From groups to groupoids: a brief survey" (PDF). Bulletin of the London Mathematical Society. 19 (2): 113–134. doi:10.1112/blms/19.2.113. This give some of the history of groupoids, namely the origins in work of Heinrich Brandt on quadratic forms, and an indication of later work up to 1987, with 160 references.
- Brown, R. "Higher dimensional group theory".. A web article with many references explaining how the groupoid concept has led to notions of higher-dimensional groupoids, not available in group theory, with applications in homotopy theory and in group cohomology.
- Brown, R.; Higgins, P.J. (1981). "On the algebra of cubes". Journal of Pure and Applied Algebra. 21 (3): 233–260. doi:10.1016/0022-4049(81)90018-9.
- Mackenzie, K.C.H. (2005). General theory of Lie groupoids and Lie algebroids. Cambridge University Press.
- R., Brown (2006). Topology and groupoids. Booksurge. ISBN 1-4196-2722-8. Revised and extended edition of a book previously published in 1968 and 1988. E-version available from http://www.kagi.com
- Borceux, F.; Janelidze, G. (2001). Galois theories. Cambridge University Press. Shows how generalisations of Galois theory lead to Galois groupoids.
- Baez, J.; Dolan, J. (1998). "Higher-Dimensional Algebra III. n-Categories and the Algebra of Opetopes". Advances in Mathematics. 135 (2): 145–206. doi:10.1006/aima.1997.1695.
- Baianu, I.C. (1970). "Organismic Supercategories: II. On Multistable Systems". Bulletin of Mathematical Biophysics. 32 (4): 539–61. doi:10.1007/BF02476770. PMID 4327361. External link in
- Baianu, I.C.; Marinescu, M. (1974). "On A Functorial Construction of (M, R)-Systems". Revue Roumaine de Mathématiques Pures et Appliquées. 19: 388–391.
- Baianu, I.C. (1987). "Computer Models and Automata Theory in Biology and Medicine". In M. Witten. Mathematical Models in Medicine. 7. Pergamon Press. pp. 1513–1577. CERN Preprint No. EXT-2004-072.
- "Higher dimensional Homotopy @ PlanetPhysics".
- George Janelidze, Pure Galois theory in categories, J. Alg. 132:270–286, 1990.
- Galois theory in variable categories., by George Janelidze, Dietmar Schumacher and Ross Street, in APPLIED CATEGORICAL STRUCTURESVolume 1, Number 1, 103--110, doi:10.1007/BF00872989.