Timeline for Strictifying strong monoidal functors
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 8, 2020 at 22:39 | history | edited | Daniel Copeland | CC BY-SA 4.0 |
added 7 characters in body
|
| May 8, 2020 at 22:34 | comment | added | Daniel Copeland | The functor $(1_C, \gamma)$ is the identity on objects and morphisms, and the monoidal structure maps $g \otimes h \to g \otimes h$ are given by $\gamma(g,h)$ times the identity of the object $gh$ (the cocycle condition ensures that the axioms for a monoidal functor are satisfied, and two cocycles which differ by a coboundary give monoidally naturally isomorphic functors) | |
| May 8, 2020 at 22:28 | history | edited | Daniel Copeland | CC BY-SA 4.0 |
added 1 character in body
|
| May 7, 2020 at 21:35 | comment | added | jijijojo | Could you please say a little bit more how the functor $(1_C,\gamma):C\to C$ is defined? | |
| Jul 16, 2019 at 0:10 | history | answered | Daniel Copeland | CC BY-SA 4.0 |