This article is about higher-dimensional algebra and supercategories in generalized category theory, super-category theory, and also its extensions in metamathematics, 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 and were further developed towards applications in nonabelian algebraic topology
| Property | Value |
|---|
| dbpprop:abstract
|
- This article is about higher-dimensional algebra and supercategories in generalized category theory, super-category theory, and also its extensions in metamathematics, 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 and were further developed towards applications in nonabelian algebraic topology
|
| dbpprop:reference
| |
| rdfs:comment
|
- This article is about higher-dimensional algebra and supercategories in generalized category theory, super-category theory, and also its extensions in metamathematics, 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 and were further developed towards applications in nonabelian algebraic topology
|
| rdfs:label
|
- Higher-dimensional algebra
|
| skos:subject
| |
| foaf:page
| |
| is dbpprop:redirect
of | |
![[RDF Data]](/statics/sw-cube.png)
