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.
added the definition of “coloured operad” to operad in the section “Rough definition”
(by the way, should we not rather call these “pedestrian definition” or so instead of “rough”? The latter seems to suggest that there is something not quite working yet with these definitions, while in fact they are perfectly fine, just not as high-brow as other definitions.)
added a “Change of Colour”-section to the Properties-section at operad
I would indeed side more with “pedestrian” modifier.
I would tend to use an adjective like “explicit” rather than “pedestrian” – to me “pedestrian” sounds a little unnecessarily derogatory. But I agree that this definition is not really any more “rough.”
I added a comment re: identification of colored operads with enriched symmetric multicategories.
Here is what I did:
renamed the section to Definition in components
expanded the beginning of that section
expanded the very beginning of the main Idea-section
1 to 5 of 5