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.
Thanks! What is meant by “subsume” in the “Relationships” section?
One of the examples is a $1 \times 1 \times 1$ category being a triple category, but obviously that does not fit into the pattern the page is describing. Should the page instead be about $n_1 \times n_2 \times \cdots$ categories?
If anyone wants to write such a page, we could move the triple-category example to there. But at present it seems sensible to me to keep the current page being about the simple and most-common notion and yet mention one example that suggests how it might be generalized.
1 to 8 of 8