double groupoid

object that generalises the notion of groupoid and of category to a higher dimension

en-US/ˈdʌbəl ˈɡɹupɔɪd/

カテゴリ：

groupoid object