Added more explicit pointer to Hirschhorn where the existence of the projective model structure is stated (here).
]]>Thanks, I have added a footnote: there.
]]>Re #10: There is a question about this on MathOverflow: https://mathoverflow.net/questions/440965/htt-remark-4-2-4-5
]]>added (here) a brief paragraph stating the relation to -functors (Prop. 4.2.4.4 in HTT).
(We have corresponding and more discussion at (infinity,1)-category of (infinity,1)-functors, but it’s good to have a pointer here, too).
By the way: Is there a general naturality statement saying that this equivalence is suitably natural, e.g. compatible with precomposition operations ?
[edit: Have posted what looks like an answer to this question in another thread: here]
]]>Where it said “cofibrantly generated and hence combinatorial” (here) I have added after “hence” a pointer to the relevant Proposition.
]]>moved this proposition (on relation to functor -categories) out of the subsection “Properties – Functoriality in domain and codomain” (where it was misplaced, into “Properties – General”).
Also adjusted typesetting of arrows in the entry (replacing \leftarrow
by \longleftarrow
and \to
by \longrightarrow
in order for the adjunctions to display properly)
Replaced Lurie’s theorem on the existence of injective model structures with one derivable from Makkai-Rosicky that doesn’t need the enriching category to be “excellent”.
]]>Added Moser’s theorem about existence of both projective and injective model structures for all accessible model categories, which is much more general than Lurie’s (although it doesn’t imply that the injective model structure is cofibrantly generated, only that it is accessible).
]]>Uniformized the notation (D = small category, C = model category), separated the definition of the potential model structures from the theorems about their existence, and included some alternative existence theorems that don’t require cofibrant generation.
]]>Why does HTT Proposition A.3.3.2 (existence of injective and projective model structures on enriched diagram categories) require to be excellent? In particular, why does it require the “invertibility hypothesis”? The proof isn’t written out but said to be “identical to that of Proposition A.2.8.2”, the existence of injective and projective model structures on unenriched diagram categories; I glanced at the latter proof but wasn’t able to see where the invertibility hypothesis might be used.
]]>I have added pointer to
Robert Piacenza, Homotopy theory of diagrams and CW-complexes over a category, Can. J. Math. Vol 43 (4), 1991 (pdf)
also chapter VI of Peter May et al., Equivariant homotopy and cohomology theory, 1996 (pdf)
to the entries model structure on functors, Elmendorf’s theorem and Model categories of diagram spectra.
]]>I have edited the Properties-section at model structure on functors to make more explicit that all of the statements about functorial dependen on domain and codomain hold also for the case of -enriched functors on -enriched categories.
(This was previously mentioned in between the lines, but not made sufficiently explicit.)
]]>expanded model structure on functors by adding a long list of properties
]]>