導来関手
より現代的な(より一般的な)導来関手のアプローチは導来圏のことばで扱われる。