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.
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)
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…)
Added under Examples a quick remark on how the free $\infty$-algebra over the (2,1)-Lawvere theory $Span(FinSet)$ is indeed the free $E_\infty$-monoid.
1 to 3 of 3