1 paper · 1 filter
Angel Román, Joel Villatoro
Double groupoids are a type of higher groupoid structure that can arise when one has two distinct groupoid products on the same set of arrows. A particularly important example of s…