2-groupoid

2-category in which every 1- and 2-morphism is invertible

Wikidata entity: Q124423945



P279 subclass of ... Q4903541 (bicategory) bicategory
P279 subclass of ... Q16911578 (∞-groupoid) ∞-groupoid

External Ids
P4215nLab ID2-groupoid
P7726PlanetMath ID2groupoid

Why not click here or view trends?

log id: 7794846