in the last semester I learn homological algebra and higher category theory\homotopy theory
but I am kind of confused when I try to realy understate the link between the two subject ( this is really not my comfort zone ...)
Therefore I try to write(a kind of self exersice) a text on homological algebra and homotopy theory but realy introduce from $0$ the two subjets
I would like to introduce the following concepts in homological algebra :
- chain complex
1$\frac{1}{2}$.grothendieck group
homotopy of complex
derived category
t-structures
And also I would like to introduce the following concepts in homotopy theory :
Model categories
Homotopy category of a model category
Derivation in the setting of model categories
Quasi categories
4.5. simplicial object in a category and homotopy in this context
- Dold kan equivalence
Now the "hard" part start :
how to organize this concept in a good way? for 1-3 (either in homology\homotopy) I think that I know how to do that but for 3-5 especially in homotopy I dont have any idea ...
This gives rise to my questions :
- how to give motivation infinite category or with more generallity homotopy theory\higher category theory but from a homological point of view I read somewhere a maybe good idea :
For an abelian category $\mathcal{A}$
the derived category $\mathcal{D(A)}$ is not defined by a universal property
I read somewhere that in some sense higher category theory resolve the problem,Okay but why ? and do we need quasi categories or model categories will be sufficient for doing that?
- and if someone have some idea to organize this text I open to any suggestion
I will be grateful if someone could give me some clues for doing this self exercise .