Definition, Konstruktion und funktoriale Eigenschaften abgeleiteter Funktoren