Timeline for Operads and Inverses
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 17, 2021 at 20:21 | comment | added | Simon Henry | I'm not aware of anything between operads and Lawvere theories (finitary monads). I assume Lawvere theory are not what you are after ? Also the fact that the free group-like E_n algebra on one generator is so complicated (It is the n-truncation of the sphere spectrum) should convince you that there isn't going to be such a theory whose formal properties are anywhere as goods as these of operads. | |
| Nov 17, 2021 at 20:00 | history | asked | K. Strong | CC BY-SA 4.0 |