Added under Examples a quick remark on how the free -algebra over the (2,1)-Lawvere theory is indeed the free -monoid.
]]>I have added some supposedly explanatory remarks to the definition at (2,1)-algebraic theory of E-infinity algebras.
(I had decided to depart a bit from the notation used by Cranch, but I am not convinced of my notation either…)
]]>I split off (2,1)-algebraic theory of E-infinity algebras, but it’s still the same stubby context as before.
(I will probably/hopefully fill in more details in two weeks, as preparation for one of the sessions of our derived geometry semninar)
]]>