Wiki. 严格 2-范畴 [严格2-范畴]

所有 $1$-态射, $2$-态射均可逆的严格 $2$-范畴称为严格 $2$-群胚.