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 to Crans-Gray tensor product a brief remark on the fact that it gives a biclosed monoidal structure.
I added a comment about laxness of the transfors and the existence of two dual internal-homs. But I don’t actually know which is lax and which is oplax, and I don’t have time to check right now; does anyone?
added to Crans-Gray tensor product a pointer to
1 to 3 of 3