8 citations · 16 across the 4 of their papers we have counts for
1 paper · 2 filters
K. C. H. Mackenzie
The word `double' was used by Ehresmann to mean `an object X in the category of all X'. Double categories, double groupoids and double vector bundles are instances, but the notion…