New posts in Derived Functors

How do you explain why the arguments of $\operatorname{Ext}^1(A,B)$ aren't "backwards"?

multiplicative structure of Ext

Unifying "cohomology groups classify extensions" theorems

Derived Nakayama for complete modules