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.
Added more detail to the definition, added a couple of additional references, and some properties.
The page is still missing a number of examples (for example, in the Grandis-Pare paper) and some description of the connection between tabulators and cotensors with 2. I hope to add this later if someone else doesn’t first!
changed all occurrences of cell to 2-morphisms
Add a link to double limit.
Use tight and loose morphism terminology.
1 to 9 of 9