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.
Just in case you see this in the Recently Revised-announcement and are wondering:
I was beginning to extract the key steps in the construction of the -category of -algebras and -bimodules internal to a suitable monoidal -category that is in section 4.3 of Higher Algebra.
I have strated to make some notes in this direction at bimodule – Properties – (∞,2)-category of bimodules and at bilinear map – For ∞-modules.
But this is taking more work than I thought and I need to postpone this until next week (and change my plans for our seminar tomorrow…). Therefore for the moment this material sits there “under construction”. Please take that into account if you look at it at all.
(On the other hand, if anyone feels like lending a hand in completing this, I’d sure be happy about it. I’ll come back to this later this week).
1 to 1 of 1