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 pointer that the model structure on groupoids is a cartesian monoidal model category:
(The theorem there is stated there for the groupoidal localization of the model structure on , instead, but it immediately applies to the model structure on groupoids, too.)
added pointer to:
Using the cartesian monoidal model structure on , one can give the “infinity-local systems” over homotopy 1-types a monoidal model category structure with respect to the external tensor product of parameterized chain complexes. This satisfies the monoid axiom for monoid objects parameterized over the point, and hence gives rise to model structures on categories of local systems of dg-modules — albeit only parameterized over 1-types.
This is now discussed in a new section 3.4 of the version2 pdf linked to at: Entanglement of Sections.
1 to 6 of 6