I can second Jeffrey's comment, reduced is used to say that O(1) is just the monoidal unit (it allows us to use the Boardman Vogt resolution in homotopy theory). It's my opinion that this terminology will probably stick.
I would also say that a $mu$ in O(n) had arity n.
That the O(0) part of an operad is referred to as the 'constants' of the operad makes a lot of sense, every algebra for O must contain O(0) and the composition of those must behave in a certain way.
Calling O(0) the point also makes sense, because in the category of algebras O(0) will be the initial object.
Here my comment has become too long, just as I've got to the point of my comment:
The comments to the question tend to prefer terminology that relates to the behaviour of the operad (eg "reduction", because a unit lowers the arity). My personal preference (and I think the literature follows it), is that terminology should have more of a relation to the category of algebras than to the operad itself.
So my vote is that you call O(0) the initial of O. And you call an operad without O(0) initial-less or uninitiated.
No comments:
Post a Comment