Higher-dimensional algebra
From Wikipedia, the free encyclopedia
This article is about higher dimensional algebra and supercategories in generalized category theory, super-category theory, and also its extensions in metamathematics[1]. Supercategories were first introduced in 1970,[2] and were subsequently developed for applications in Theoretical Physics (especially Quantum Field Theory and Topological quantum field theory) and Mathematical Biology or Mathematical Biophysics.[3] In higher-dimensional algebra, a double groupoid is a generalisation of a one-dimensional groupoid to two dimensions[4], 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)[5]. 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, followed by the more `geometric' concept of double category[6][7].
A higher level concept is that of 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)[8][9][10][11]. Thus, a supercategory and also a super-category, can be regarded as natural extensions of the concepts of meta-category,[12] 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.[13] and were further developed towards applications in nonabelian algebraic topology[14][15][16][17].
[edit] References
- ^ Roger Bishop Jones. 2008. The Category of Categories http://www.rbjones.com/rbjpub/pp/doc/t018.pdf
- ^ Supercategory theory @ PlanetMath
- ^ http://planetphysics.org/encyclopedia/MathematicalBiologyAndTheoreticalBiophysics.html
- ^ Brown, R.; Spencer, C.B. (1976). "Double groupoids and crossed modules,". Cahiers Top. Geom. Diff. 17: 343–362.
- ^ Brown, R.; Spencer, C.B. (1976). "Double groupoids and crossed modules". Cah. Top. Géom. Diff 17: 343–362. http://www.bangor.ac.uk/~mas010/pdffiles/brown-spencerCTGDC_1976__17_4_343_0.pdf.
- ^ Brown, R.; Loday, J.-L. (1987). "Homotopical excision, and Hurewicz theorems, for n-cubes of spaces". Proceedings of the London Mathematical Society 3 (54): 176–192. doi:.
- ^ 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:.
- ^ 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/
- ^ http://planetphysics.org/?op=getobj&from=objects&id=420
- ^ Lawvere, F. W., 1969b, ``Adjointness in Foundations, Dialectica, 23, 281-295. http://myyn.org/m/article/william-francis-lawvere/
- ^ http://planetphysics.org/encyclopedia/AxiomsOfMetacategoriesAndSupercategories.html
- ^ Brown, R.; Spencer, C.B. (1976). "Double groupoids and crossed modules". Cah. Top. Géom. Diff 17: 343–362. http://www.bangor.ac.uk/~mas010/pdffiles/brown-spencerCTGDC_1976__17_4_343_0.pdf.
- ^ http://planetphysics.org/encyclopedia/NAAT.html
- ^ Non-Abelian Algebraic Topology book
- ^ Nonabelian Algebraic Topology: Higher homotopy groupoids of filtered spaces
- ^ Brown, R.; et al. (2009) (in press). Nonabelian Algebraic Topology: Higher homotopy groupoids of filtered spaces. http://www.bangor.ac.uk/~mas010/pdffiles/rbrsbookb-e040609.pdf.
[edit] Further reading
- Brown, R.; Higgins, P.J.; Sivera, R. (2008). Non-Abelian Algebraic Topology. 1. http://www.bangor.ac.uk/~mas010/nonab-a-t.html. (Downloadable PDF)
- Brown, R.; Spencer, C.B. (1976). "Double groupoids and crossed modules,". Cahiers Top. Geom. 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". Bulletin of the London Mathematical Society 19: 113–134. doi:. http://www.bangor.ac.uk/r.brown/groupoidsurvey.pdf. 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". http://www.bangor.ac.uk/r.brown/hdaweb2.htm.. A web article with lots of references explaining how the groupoid concept has to 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: 233–260. doi:.
- Mackenzie, K.C.H. (2005). General theory of Lie groupoids and Lie algebroids. Cambridge University Press. http://www.shef.ac.uk/~pm1kchm/gt.html.
- R., Brown (2006). Topology and groupoids. Booksurge. http://www.bangor.ac.uk/r.brown/topgpds.html. Revised and extended edition of a book previously published in 1968 and 1988. E-version available at PlanetPhysics.org and Bangor.ac.uk
- Borceux, F.; Janelidze, G. (2001). Galois theories. Cambridge University Press. http://www.cup.cam.ac.uk/catalogue/catalogue.asp?isbn=9780521803090. 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: 145-206. doi:.
- Baianu, I.C. (1970). "Organismic Supercategories: II. On Multistable Systems". Bulletin of Mathematical Biophysics 32: 539-561. doi:.
- 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.. http://cogprints.org/3687/.
- "Higher dimensional Homotopy @ PlanetPhysics". http://planetphysics.org/encyclopedia/HigherDimensionalHomotopy.html.
