2-groupoid (Q124423945)
2-category in which every 1- and 2-morphism is invertible
Language:
other details
description 2-category in which every 1- and 2-morphism is invertible

External Links