数学においてアーベル圏  の導来圏(どうらいけん、、)  はホモロジー代数から構成されるもので、  上に定義された導来函手の理論を精密化するとともに、ある意味で単純化するべく導入された。その構成は基本的には次の様に進む：まず圏  の対象は  の双対鎖複体であり、次に2つのその様な双対鎖複体の間にチェイン写像が存在してコホモロジーを取った段階で同型を誘導する場合に同型であると考えるのである。このとき、導来函手は双対鎖複体に対して定義され、の考えを精密化したものとなる。これらの定義により、煩雑なスペクトル系列を用いて（完全に忠実ではなく）記述されるよりほか無かった式は劇的に簡素化される。

導来圏の発展は、アレクサンドル・グロタンディークと彼の学生のにより1960年代初頭になされ、ホモロジー代数が長足の進歩を遂げた1950年代における爆発的な展開の一つの到達点であると現在ではみなされている。ヴェルディエによる理論の基本部分は博士論文に纏められたが、1996年になってようやくAstérisque（要約はずっと早くにに収録されていた）に出版された。その定式化には革新的な発想であるの概念が必要であり、その構成は環の局所化を一般化したに基づく。"導来"形式の展開への原動力となった欲求は、グロタンディークによるの理論のなんらかの意味での定式化を行うことであった。導来圏は以後、代数幾何学以外の領域に於いてさえ、たとえば、D-加群や超局所解析でも不可欠な概念となっている。さらに、近年は、ミラー対称性やD-ブレーンの定式化という物理学に近い領域でも、導来圏が重要な役割を果たすようになっている。

動機
非特異スキームであるという前提のない連接層の理論で、セール双対の結果を通して出現する極限をとると、単純に双対化する層の部分に沿っての双対鎖複体をとる必要が出てくる。事実、非特異性を弱めることとなるコーエン・マコーレー環の条件は、単純に双対化された層が存在することに対応する。しかし、これは、一般的議論であるとはとてもいえない。いつもそうであるが、高い位置からトップダウンでグロタンディークが想定していることを、再定式化することが非常に重要となる。（たとえば）このことは、実テンソル積やHom函手が導来圏のレベルで存在するはずであるというアイデアもそうであり、Tor函手と Ext函手もこれを通してより計算し易い道具立てとなった。

抽象度が高いにもかかわらず、特に層コホモロジーの設定での利便性により、導来圏は続く10年で受け入れられるようになった。おそらく、1980年頃、導来圏のことばで 1 よりも大きな次元でのの定式化が、最も大きな前進であっただろう。佐藤スクールでは、導来圏の言葉を使い、D-加群をこの言葉で表現した。

平行して発展した理論は、ホモトピー論でのの圏の理論である。スペクトルのホモトピーの圏と環の導来圏は、双方ともの例である。

定義 
 をアーベル圏とする。導来圏  はいくつかのステップを踏んで得られる。
 基本となるのは、 における双対鎖複体

の圏  である。この圏の対象が導来圏の対象となるが、射は異なる。

 な射を同一視することにより、双対鎖複体の  を得る。
 擬同型の集合でのにより、導来圏  を得る。導来圏の射は、経路図式 X ← X'→ Y として明示的に表現される。ここに X' → X は擬同型であり、X' → Y は双対鎖複体の任意の射である。

特に、ホモトピー同値が擬同型となっているので、第二のステップは避けることができる。しかし、射の単純な経路図式の定義は、より複雑な射の別の有限個の矢印により置き換える必要がある（テクニカルには、「分数の計算」を超えたものとなる（容易には計算できないことを意味する））。したがって、第一のステップの構成で十分ではあるのだが、一層、より複雑となってしまう。

モデル圏の観点からは、導来圏  は双対鎖複体の真のホモトピー圏であり、一方、 はナイーブなホモトピー圏と呼ばれる。

三角圏から導来圏への注意 
双対鎖複体 X が下に有界とは、n << 0 に対し Xn = 0 であることで、上に有界とは、n >> 0 に対し Xn = 0 であることで、単に有界とは、|n| >> 0 に対し Xn = 0 のことである。
（以下に見るように）なんらかの目的のため、有界ではない双対鎖複体の代わりとして、下に有界、上に有界、あるいは有界な双対鎖複体を使う。対応する導来圏は、通常、それぞれに対し、 と記す。

（クラスの考え方ではなく）ある対象から別の対象への射の集合が存在するという圏の古典的観点を適用するとき、導来圏に変更することを証明するには、議論を追加する必要がある。

アーベル圏  が小さい場合、つまり、対象の集合しか持たない場合は、何も問題がない。 がであったとしても、導来圏  はホモトピー圏  の充満部分圏に同値であるので、ある対象から他への射の集合を持つのみである。グロタンディークアーベル圏は、環の上の加群の圏や位相空間上のアーベル群の層の圏や他の例を多く含んでいる。

しかしながら、導来圏での 2つの射の合成は、合成される 2つの射の頂点に、ある第三の射を見つけることで完成する。このことが確認できて始めて、well-definedで結合的な合成であることが完成する。

 はであるので、 の局所化  も三角圏である。整数 n と双対鎖複体 X に対し、X を n シフトした双対鎖複体 X[n] を

と微分

により定義する。

定義から、 の完全三角形は、ある双対鎖複体の射 f: X → Y から導かれる三角形 X → Y → Cone(f) → X[1] と  において同型な三角形である。ここに、Cone(f) は f のである。特に、 中の短完全系列  に対し、三角形  は、 の完全三角形である。ヴェルディエは、シフト  の定義を、射  の写像錐であることとして説明した。

 の対象を次数 0 に集中された双対鎖複体とみなすと、導来圏  は  を充満部分圏にもつ。さらに興味深いことに、導来圏の射は、Ext群の全情報を含んでいる。すべての対象 X, Y とすべての整数 j について、

を得る。

射影分解と単射分解 
ホモトピー同値は擬同型であることが容易に示せるので、上の構成の第二段階は省略できる場合がある。標準的函手

の存在が明らかであるので、定義は通常この方法で与えられる。

具体的な状況において導来圏の射を直接に扱うことは非常に困難であるか不可能である。そこで導来圏に同値なより扱い易い圏を探すことになる。古典的には、射影分解と単射分解による2つの（双対な）アプローチがある。どちらの場合にも、上の標準函手を適当な部分圏へ制限することで圏同値となる。

以下では導来圏の文脈における単射分解の役割を述べる。これは右導来函手を定義する基礎となり、位相空間上の層コホモロジーやエタール・コホモロジーや群コホモロジーのような進んだコホモロジー論へ重要な応用を持つ。

このテクニックを応用するために、問題のアーベル圏が十分単射的対象を持つことを仮定する必要がある。十分単射的対象を持つとは、圏のすべての対象 X がある単射対象  への単射を持つという意味である。（写像も単射対象も一意である必要はない。）たとえば、は十分単射的対象を持つ。 を単射対象  へ埋め込み、この射の余核を単射対象 I1 へ埋め込みと、繰り返すと X の単射分解、つまり（一般には無限の）完全系列

が構成できる。ここに、 は単射対象である。このアイデアは一般化され、十分小さな  に対し  となる下に有界な双対鎖複体  の分解を与える。上で注意したように、単射分解は一意的に定まらないが、任意の2つの分解が互いにホモトピー同値であり、ホモトピー圏では同型であるという事実がある。さらに、双対鎖複体の射は2つの与えられた単射分解の射へ一意的に拡張される。

これがホモトピー圏が再び重要な役割を果たす点である。 の対象  から  の（任意の）単射分解　 への射は、函手

へ拡張される。

この函手が実際にはじめに述べた標準的局所化函手の制限の逆であることは、容易に分かる。言い換えると、導来圏における  は、 と  の両方を単射分解した後ホモトピー圏で射を計算することにより計算することができ、このほうが理論的にはより容易となる。実際には  の分解だけで十分であり、任意の双対鎖複体  と任意の下に有界な単射的双対鎖複体  に対し、

となる。

双対に、 が十分射影対象を持つこと、つまり、すべての対象 X に対し、射影対象 P から X への全射が存在することを仮定すれば、単射分解の代わりに射影分解を使うこともできる。

この分解のテクニックに加えて、特別な場合に適用し、上に有界や下に有界の制限問題をエレガントに避ける同様な方法がある。 では、いわゆる K-単射分解や K-射影分解を使っている。 と（少し用語は異なっているが） ではいわゆる胞体加群や準自由加群という用語が導入された。

さらに一般的には、定義を注意深い適用すると、の導来圏を定義することもできる。

導来函手との関係 
導来圏は導来函手の研究と定義の自然なフレームワークである。以下では、 をアーベル圏の函手とする。2つの双対な考えがある。
 右導来函手は、左完全函手からきて、単射分解を通して計算される。
 左導来函手は、右完全函手からきて、射影分解を通して計算される。

以下では右導来函手について述べるので、F を左完全とする。典型例は、ある固定した対象 A に対し、 あるいは、 により与えられる  や層の上の大域切断函手や順像函手である。これらの右導来函手は、それぞれ、Ext函手（)、層コホモロジー、高次順像函手 である。

導来圏によって、すべての導来函手 RnF をひとつの函手へ要約することができる。いわゆる全導来函手  である。この函手は合成  である。ここに第一の圏同値は上で述べたものである。古典的な導来函手は、 を通して、全導来函手へ関連付いている。 は双対鎖複体を忘れコホモロジーのみを保持している一方、 は双対鎖複体を保持している、ということもできる。

導来圏はこれらの函手を研究するための、ある意味で、「適切な」圏である。たとえば、F が  の単射対象を G-非輪状（つまり、すべての i > 0 と単射写像 I に対し、 となるような函手であり、2つの函手の合成

のは、全導来函手の恒等射を表わす

である。ヴェルディエはアーベル圏に付帯する導来関手がどのようにすれば  の適切な導来圏への埋め込みに沿ったカン拡張としてみることができるかを示した [Mac Lane]。