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.
the topic-cluster “algebra” is stiil a little orphaned on the Lab, I find. I added a bit to
but these entries are still a bit pitiful. Maybe somebody feels challenged to turn them into good entries. Especially the latter.
Should we have pages algebra over a Lawvere theory, algebra over a PROP, etc? Some entries look like they want such links (for instance algebra itself).
Edit: I’m generally not fond of the practice of defining a concept as a special case of a more complicated concept, as for example an algebra over an operad defined as a one-object category over an operad. Or, at least make such definitions secondary.
Exactly, I am not a fan of that either. That’s why I am saying: these entries need sombody to take care of them. I think the previous one was written in a haste and therefore just pointed to “category over an operad”.
Thanks for your additions. Todd! I added a brief “Idea”-sentence. Maybe that needs improvement, though… :-)
I tweaked the Idea-sentence a little.
Very good, thanks.
1 to 6 of 6