2-groupoid (original) (raw)
Definition 0.1.
| Title | 2-groupoid |
|---|---|
| Canonical name | 2groupoid |
| Date of creation | 2013-03-22 19:21:09 |
| Last modified on | 2013-03-22 19:21:09 |
| Owner | bci1 (20947) |
| Last modified by | bci1 (20947) |
| Numerical id | 17 |
| Author | bci1 (20947) |
| Entry type | Definition |
| Classification | msc 55Q35 |
| Classification | msc 55Q05 |
| Classification | msc 20L05 |
| Classification | msc 18D05 |
| Classification | msc 18-00 |
| Synonym | 2-category with invertible morphisms |
| Defines | 2-groupoid |
| Defines | HDA |
| Defines | higher dimensional algebra |
| Defines | (m-1) arrows |
| Defines |