I originally posted this on Maths SEposted this on Maths SE, but then realised that the question probably fits MO better, as my objective was to gain different perspectives regarding the matter.
- Why are $\delta$-functors between abelian categories $\mathfrak{A}$ and $\mathfrak{B}$ defined as a collection of (right) derived functors, and connecting morphisms $\delta^i: T^i(A'') \rightarrow T^{i+1}(A')$ (given an original short exact sequence $0 \rightarrow A' \rightarrow A \rightarrow A'' \rightarrow 0$ in $\mathfrak{A}$) $$(T^*, \delta^*) := \{(T^i, \delta^i)\}_{i \geq 0}$$ Particularly, in the context of algebraic geometry, what about this definition is geometric ?
- What is a geometric interpretation of the universality of $\delta$-functors ?
- What is a geometric interpretation of effaceable $\delta$-functors, and by extension, theorem 2.2.2 in Grothendieck's Tohoku paper stating that effaceability implies universality ?