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 have added to homotopy coherent diagram and to model structure on algebras over an operad the fact that one can describe homotopy coherent diagrams as algebras over the Boardman-Vogt resolution of some operad. Vogt’s rectification theorem is then a special case of the general Berger-Moerdijk result.
In the course of this I reorganized and expanded homtopy coherent diagram a bit. It still needs to be polished a bit.
I interlinked homotopy coherent diagram with (infinity,1)-functor and made homotopy coherent functor redirect to it
homotopy coherent diagram has needed more than a bit of polishing. I left it a long time a go with lots of loose ends!!!!:-(
added pointer to
1 to 4 of 4