Skip to main content
2 of 4
deleted 96 characters in body

One the link between homology and homotopy

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 :

  1. chain complex

1$\frac{1}{2}$.grothendieck group

  1. homotopy of complex

  2. derived category

  3. t-structures

And also I would like to introduce the following concepts in homotopy theory :

  1. Model categories

  2. Homotopy category of a model category

  3. Derivation in the setting of model categories

  4. Quasi categories

4.5. simplicial object in a category and homotopy in this context

  1. 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 :

  1. 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?

  1. 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 .