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 removed a reference to centipede mathematics in the definition of semicartesian nonoidal category. It looks like the line made more sense in the original version of the page, but now looks like pointlessly denagrating the concept.
1 to 2 of 2