Timeline for Free operad over a monoid object
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 12, 2019 at 13:30 | vote | accept | FKranhold | ||
| Apr 12, 2019 at 13:07 | history | became hot network question | |||
| Apr 12, 2019 at 12:50 | comment | added | Najib Idrissi | @SimonHenry That's true, thanks. | |
| Apr 12, 2019 at 12:42 | comment | added | Simon Henry | Yes, you're right, sorry ! And one needs the tensor product to preserves the initial object in each variable, I'm not sure what happen otherwise. | |
| Apr 12, 2019 at 12:30 | comment | added | Najib Idrissi | @SimonHenry Should $\mathcal{O}(n)$ be initial object of the category, actually? | |
| Apr 12, 2019 at 12:29 | answer | added | Najib Idrissi | timeline score: 9 | |
| Apr 12, 2019 at 12:21 | comment | added | Simon Henry | The Free operads over $T$ is alot simpler than this: it has $\mathcal{O}(1)=T$ and all the $\mathcal{O}(n)$ for $n>1$ are the unit. | |
| Apr 12, 2019 at 12:19 | history | asked | FKranhold | CC BY-SA 4.0 |