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.
created model structure on dendroidal sets (stubby)
expanded dendroidal set (still stubby, though)
included the explicit definition of the various types of morphisms of dendroidal sets that enter the definition of the model category structure.
Toby,
I see I accidentally copy-and-pasted the content of dendroidal set into model structure on dendroidal sets . I would have fixed it myself immediately, but you were very quick...
I added at model structure on dendroidal sets
two more facts at "Properties"
more references --- in particular I mention lecture notes on Ieke Moerdijk's lectures on this in Barcelona last year. This is likely the best source on the subject currently, and about to be printed, but not yet in print. I'll ask if I may upload the pdf file I have.
I have added a bunch of further statements to model structure on dendroidal sets.
(But still essentially no proofs. In the section Proof I have so far just a list of lemmas, each in turn without proof. I should write out proofs at Cisinski model structure, I guess.)
1 to 5 of 5