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.
added some actual content at dendroidal homotopy coherent nerve .
I am further expanding the entry dendroidal homotopy coherent nerve.
So far I have mainly added more details to the Definition-section on the BV-resolution of trees. Then I added to Properties - Dendroidal inner Kan complexes the proof that the hc nerve of a fibrant enriched operad is an inner Kan dendroidal set.
1 to 2 of 2