double groupoid

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

श्रेणियाँ: