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.
1 to 4 of 4
Have been adding material to model structure for dendroidal complete Segal spaces.
have added a bunch of statements and (simple) proofs to the Properties-section at model structure for dendroidal complete Segal spaces.
I had been adding a bunch of more paragraphs to model structure for dendroidal complete Segal spaces especially in the section on the relation to dendroidal sets. But for the time being it nevertheless remains somewhat incomplete, unfortunately.
Have been further expanding model structure for dendroidal complete Segal spaces.
added a section Properties - Equivalent localization with the statement, and indications of the proof, that the complete Segal localization is equivalently that at pushut-products of tree boundary inclusions with generating dendroidal acyclic cofibrations.
This I used to complete the discussion in Dendroidal Segal spaces to quasi-operads.
I have been aiming at giving a clear structuring of what is originally a technical proof with a non-small number of lemmas spread over a non-small number of articles and books. Unfortunately I failed, I think. But hopefully anyway, better than nothing.
1 to 4 of 4