double groupoid

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

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

Categories:

groupoid object