Model category theory



Model category theory

attachments/Pasted%20image%2020220319001253.png

Definitions

  • Definition of a model category: attachments/Pasted%20image%2020210505015517.png

attachments/Pasted%20image%2020210516135205.png

Topics

classical category theory - Serre fibration - Fibrant object - Cofibrant object - [Cofibrant generation](Cofibrant generati - Weak equivalence - localization (category theory) - the model structure on spectra

Applies to Chain Complexes

  • derived functor
  • homotopy category
  • The model structure on chain complexes

Model Cat Specific

  • Quillen equivalence
  • Quillen adjunction -on)
  • The model structure on simplicial sets

Notes

Let \({ \mathcal{N}({{-}}) }_{{\mathsf{dg}}}\) be the DG nerve functor, then

attachments/Pasted%20image%2020210516135955.png

Being local: attachments/Pasted%20image%2020210603191103.png attachments/Pasted%20image%2020210603191120.png

  • Important: the small object argument

attachments/Pasted%20image%2020220316200147.png attachments/Pasted%20image%2020220316200157.png attachments/Pasted%20image%2020220316200213.png attachments/Pasted%20image%2020220316200241.png attachments/Pasted%20image%2020220316200256.png

attachments/Pasted%20image%2020220316200325.png attachments/Pasted%20image%2020220316200401.png

See Quillen adjunction

Model structure on sSet

attachments/Pasted%20image%2020220316200743.png

Model structure on Top

attachments/Pasted%20image%2020220316200835.png

Model structure on spectra

attachments/Pasted%20image%2020220316201102.png

Tensored

attachments/Pasted%20image%2020211003194259.png

#todo/untagged #todo/add-references