1 paper · 1 filter
Juan Orendain
The length of a double category is a numerical invariant measuring the 'work' it takes to reconstruct the double category from its globular data. The smallest possible length of a…