1 paper · 2 filters
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…