double groupoid
object that generalises the notion of groupoid and of category to a higher dimension
--Agreed Upon Solutions

The discussion does not exist would you like to add the first comment?

anonymous