Timeline for Is there a "universal group object"? (answered: yes!)
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 20, 2009 at 17:46 | comment | added | Tom Leinster | I don't think operads are quite relevant here, as there's no operad for the theory of groups. (Or to put it slightly less precisely, there's no operad whose algebras are groups.) Operads are only capable of encoding a rather restricted class of algebraic theories. | |
| Oct 20, 2009 at 16:57 | history | answered | Theo Johnson-Freyd | CC BY-SA 2.5 |