Timeline for Transfer monoidal category structures [duplicate]
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 4, 2023 at 12:15 | history | closed |
varkor CommunityBot |
Duplicate of Inducing a Monoidal Structure using an Equivalence of Categories [closed] | |
| Aug 4, 2023 at 9:27 | review | Close votes | |||
| Aug 4, 2023 at 12:20 | |||||
| Aug 4, 2023 at 9:06 | history | edited | varkor |
edited tags
|
|
| Jun 26, 2023 at 3:13 | comment | added | Antoine Labelle | Have you tried simply taking the tensor product on $\mathcal{C}$ as $G \circ \otimes_{\mathcal{D}} \circ (F \times F)$ and the monoidal unit as $G(I_\mathcal{D})$? Unless I'm missing something, it seems like this should work. | |
| Jun 25, 2023 at 17:40 | history | asked | xuexing lu | CC BY-SA 4.0 |