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 2 of 2
stub for model structure on monoids in a monoidal model category, for the moment only to host Schwede-Shipley’s lemma on homotopy pushouts along free monoid morphisms
added the statements of the existence results by Schwede-Shipley and by Berger-Moerdijk. Also added a sketch of the proof of some statements about homotopy pushouts.
1 to 2 of 2