2-groupoid (Q124423945)
Jump to navigation
Jump to search
2-category in which every 1- and 2-morphism is invertible
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | 2-groupoid |
2-category in which every 1- and 2-morphism is invertible |