Timeline for On the derived functor of the tensor product in a monoidal category
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 11, 2021 at 15:14 | vote | accept | Adrien MORIN | ||
| Oct 5, 2021 at 18:44 | comment | added | Fernando Muro | The tensor product with the unit preserves weak equivalences so it is already derived. | |
| Oct 4, 2021 at 17:09 | comment | added | Maxime Ramzi | @DmitriPavlov : ah - ok, I would not call this "$\otimes^L I$" in this case, but the question is clearer now. | |
| Oct 4, 2021 at 17:02 | comment | added | Dmitri Pavlov | @MaximeRamzi: ⊗^L I is not the identity, it is only weakly equivalent to the identity. The point of the question is whether it is possible to provide a 1-categorical model as a lax/oplax monoidal functor. | |
| Oct 4, 2021 at 17:01 | answer | added | Dmitri Pavlov | timeline score: 2 | |
| Oct 2, 2021 at 13:53 | comment | added | Maxime Ramzi | Maybe I'm confused but doesn't the unit axiom exactly say that $-\otimes^L I$ is the identity ? In particular it has a canonical strong monoidal structure | |
| Sep 30, 2021 at 12:56 | history | asked | Adrien MORIN | CC BY-SA 4.0 |