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 at dendroidal set
a section on the relation to simplicial sets
a section on the symmetric monoidal structure on the cat of dendroidal sets
(also added a stubby "overview" section to model structure on dendroidal sets)
Question:
I never read much about opetopes and opetopic sets. But somehow these must be closely related to trees and dendroidal sets. How exactly?
I have been expanding the entry dendroidal set.
expanded the discussion of the relation to simplicial sets;
added a similar discussion of the relation to operads;
added a section displaying the big diagram that collects all these relation.
Also reorganized the existing sections a bit, re-ordering them into “Definition” and “Properties” bits.
added further sections
expanded the section Relation to operads – dendroidal nerve a bit more
I have expanded the section Trees and free operads at dendroidal set.
I have expanded the section on dendrex faces and renamed it into Operations – Faces and horns of trees.
have expanded the section on normal monomorphisms of dendroidal sets.
1 to 9 of 9