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 have started to extract some of the relevant key steps from Higher Algebra into tensor product of infinity-modules.
For me that currently mainly serves as an index for how to find those needles in the haystack. But eventually I should turn it into a more comprehensive discussion.
(Some of this used to be over at bilinear map, but I have now moved it).
1 to 1 of 1