[05X3]
Lemma 2.2.4. is the initial object of .
[05X4]
Proof. The composition of forgetful functors
|
|
|
has a left adjoint given as the composition of the corresponding left
adjoints. The first one takes to (by
A.2.1.4.8) and the second takes to
(by A.2.3.1.9). Hence, for every reduced operad (which
is in particular unital), we get
|
|
|
β