数学では、一部の関手から導来 (どうらい、英語: derived) することにより、元の関手と密接に関連した新しい関手を得ることができる。導来という操作は、抽象的ではあるが、数学全体を通して多くの構成を統一する。
動機

さまざまな状況で短完全系列が長完全系列に持ち上がることが分かっている。導来関手の概念はこれらの結果の多くを明確に根拠づけることができる。

2つのアーベル圏 A と B の間の共変な左完全関手 F : A → B が与えられ、0 → A → B → C → 0 を A の短完全系列とすると、F を適用することで完全系列 0 → F(A) → F(B) → F(C) が得られる。この系列をどのように右へ拡張し長完全系列とするかが問題になるが、与えられた短完全系列を右へ拡張する方法には多数の異なる方法があるので、厳密には、この問は適切とは言えない。しかし、A が充分に「良い」性質を持っている場合は、F の右導来関手による標準形がひとつ存在する。全ての i ? 1 に対して、関手 RiF: A → B が存在して、上記の短完全系列は次のように右へと拡張される。 0 → F ( A ) → F ( B ) → F ( C ) → R 1 F ( A ) → R 1 F ( B ) → R 1 F ( C ) → R 2 F ( A ) → R 2 F ( B ) → R 2 F ( C )     → …   . {\displaystyle {\begin{aligned}0&\rightarrow &F(A)&\rightarrow &F(B)&\rightarrow &F(C)&\\&\rightarrow &R^{1}F(A)&\rightarrow &R^{1}F(B)&\rightarrow &R^{1}F(C)&\\&\rightarrow &R^{2}F(A)&\rightarrow &R^{2}F(B)&\rightarrow &R^{2}F(C)&\ \ \rightarrow \dots \ .\end{aligned}}}

このことから、F が完全関手であることと、R1F = 0 であることとは同値であるので、F の右導来関手は F がその程度完全から乖離しているかの目安であることが分かる。

短完全系列の中の対象 A が単射対象 (injective object) であれば、系列は分裂する（分裂補題）。任意の加法関手を分裂する系列へ適用すると、結果も分裂系列になり、特に、R1F(A) = 0 である。右導来関手は単射対象では 0 である。このことが以下の構成の動機である。
構成と最初の性質

アーベル圏 A を考える上での重要な仮定は、圏 A が充分単射的であることである。この充分単射的とは、A の全ての対象 A に対し、A の単射対象 (injective object) であるような I が存在して、モノ射 A → I が存在することである。

共変的な左完全関手 F : A → B の右導来関手は、次の様に定義される。A の対象 X より始めると、充分な単射対象を使って、次の形の長完全系列を構成することができる。 0 → X → I 0 → I 1 → I 2 → ⋯ {\displaystyle 0\to X\to I^{0}\to I^{1}\to I^{2}\to \cdots }

ここに I i は全て単射的な対象である（これは X の単射分解として知られている）。関手 F をこの完全系列へ適用し、第一項を落とすと、鎖複体 0 → F ( I 0 ) → F ( I 1 ) → F ( I 2 ) → ⋯ {\displaystyle 0\to F(I^{0})\to F(I^{1})\to F(I^{2})\to \cdots }

を得る。

注意：一般にはこれはもはや完全系列ではない。しかし、i 次のホモロジー (F(Ii) からの射の核を、F(Ii) への射の像で割ったもの）を計算することができる。この結果を RiF(X) と呼ぶ。もちろん、多くのことを検証する必要がある。つまり、最終的な結果は与えられた X の単射分解に依存せず、射 X → Y は自然に射 RiF(X) → RiF(Y) を誘導するので、実際に関手となっている。左完全性は、 0 → F ( X ) → F ( I 0 ) → F ( I 1 ) {\displaystyle 0\rightarrow F(X)\rightarrow F(I^{0})\rightarrow F(I^{1})}

が完全であることを意味するので、 R 0 F ( X ) = F ( X ) {\displaystyle R^{0}F(X)=F(X)} であり、 i > 0 {\displaystyle i>0} に対しのみ、興味深い何かを得ることができる。

（テクニカルには、F の well-defined な導出のためには、Aの全対象に対し単射分解を固定する必要がある。この単射分解の選択は、関手 RiF をもたらす。異なった分解を選択しても、自然に同型な関手となり、結局、選択は問題でない。）

上に述べた短完全系列から長完全系列へ変換する性質は、蛇の補題の結果である。このことは、導来関手の集まりはδ-関手（英語版） (Delta-functor) であることを教えてくれる。

X 自身を単射的とすると、単射分解 0 → X → X → 0 を選ぶことができ、全ての i ? 1 に対し、RiF(X) = 0 を得る。実用では、この事実は、長完全系列の性質と組合わせて、右導来関手の値の計算に良く使われる。

RiF(X) の計算には同値な別の方法もある。X の単射分解を上記のように取り、Ki を射 Ii-1 → Ii の像とする（i = 0 に対し、Ii-1 = 0 と定義する）と、これは Ii → Ii+1 の核と同じになる。φi : Ii-1 → Ki を対応するエピ射とすると、RiF(X) は F(φi) の余核となる。
変形

共変な右完全関手 G と圏 A が充分に射影的（つまり、A の対象 A に対し、射影的対象 P とエピ射 P → A が存在する）とすると、右導来関手と同様に左導来関手 LiG を定義することができる。A の対象 X に対し、まず、次の形の射影的分解を構成する。 ⋯ → P 2 → P 1 → P 0 → X → 0 {\displaystyle \cdots \to P_{2}\to P_{1}\to P_{0}\to X\to 0}

ここに、各 Pi は射影的対象である。G をこの系列に適用し、最後の項を落としホモロジーを計算し、LiG(X) を得る。前と同様に、L0G(X) = G(X) となる。

この場合には、長完全系列は右ではなくて左側へ拡張され、 0 → A → B → C → 0 {\displaystyle 0\to A\to B\to C\to 0}

が、 ⋯ → L 2 G ( C ) → L 1 G ( A ) → L 1 G ( B ) → L 1 G ( C ) → G ( A ) → G ( B ) → G ( C ) → 0 {\displaystyle \cdots \to L_{2}G(C)\to L_{1}G(A)\to L_{1}G(B)\to L_{1}G(C)\to G(A)\to G(B)\to G(C)\to 0}

となる。

左導来関手は全ての射影的対象上で 0 である。

また、反変 (contravariant) 左完全関手 F から始めることもでき、このとき右導来関手はまた反変である。短完全系列 0 → A → B → C → 0 {\displaystyle 0\to A\to B\to C\to 0}

から長完全系列 0 → F ( A ) → F ( B ) → F ( C ) → R 1 F ( A ) → R 1 F ( B ) → R 1 F ( C ) → R 2 F ( A ) → R 2 F ( B ) → R 2 F ( C )     → …   . {\displaystyle {\begin{aligned}0&\rightarrow &F(A)&\rightarrow &F(B)&\rightarrow &F(C)&\\&\rightarrow &R^{1}F(A)&\rightarrow &R^{1}F(B)&\rightarrow &R^{1}F(C)&\\&\rightarrow &R^{2}F(A)&\rightarrow &R^{2}F(B)&\rightarrow &R^{2}F(C)&\ \ \rightarrow \dots \ .\end{aligned}}}

が得られる。

これらの右導来関手は射影的対象上では 0 であるので、射影的分解を通して計算される。
応用

層コホモロジー： X を位相空間とすると、X 上の全てのアーベル群の層の圏は、充分な単射的対象を持つアーベル圏である。