Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I reclaimed this page as a disambiguation for horizontal/vertical and tight/loose terminology. Before that was just a redundant explanation of what a double category is, actually clashing with the main entry.
I thought Ehresmann introduced the horizontal/vertical terminology, but he didn’t. It’d be nice to track down who did to complete the picture.
I’m not sure the disambiguation is necessary: instead we can simply observe on the page that the terms “tight” and “loose” for F-categories are special cases of those for double categories (viewing an F-category as a strict double category with strict companions).
1 to 9 of 9