Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
So, I have some pending changes on operad that I made in the sandbox and am waiting for a go-ahead to post from the interested parties, but I was also wondering if someone would be willing to write up a follow-up to the very nice definition of an operad as a monoid in the blah blah monoidal category. That is, it seems like this should give us a very nice way to define an algebra, but I don't know how one would actually go about doing it.
I’ve posted the sandbox write-up already. You did a nice job, Harry.
Regarding your question, there’s very closely related material over at club (actually a generalization), but I’ll try to get to this particular case a little later tonight.
Thanks!
1 to 3 of 3