I learned homological algebra about a year ago and ever since I’ve been seeing derived functors everywhere. except every single time these turn out to just be some special case of ext or tor. Are there any derived functors one might encounter in the wild that aren’t just ext or tor? #science