導来圏
数学においてアーベル圏 formula_1 の導来圏(どうらいけん、、) formula_2 はホモロジー代数から構成されるもので、 formula_1 上に定義された導来函手の理論を精密化するとともに、ある意味で単純化するべく導入された。その構成は基本的には次の様に進む：まず圏 formula_2 の対象は formula_1 の双対鎖複体であり、次に2つのその様な双対鎖複体の間にチェイン写像が存在してコホモロジーを取った段階で同型を誘導する場合に同型であると考えるのである。このとき、導来函手は双対鎖複体に対して定義され、の考えを精密化したものとなる。これらの定義により、煩雑なを用いて（完全に忠実ではなく）記述されるよりほか無かった式は劇的に簡素化される。
導来圏の発展は、アレクサンドル・グロタンディークと彼の学生のにより1960年代初頭になされ、ホモロジー代数が長足の進歩を遂げた1950年代における爆発的な展開の一つの到達点であると現在ではみなされている。ヴェルディエによる理論の基本部分は博士論文に纏められたが、1996年になってようやくAstérisque（要約はずっと早くにに収録されていた）に出版された。その定式化には革新的な発想であるの概念が必要であり、その構成は環の局所化を一般化したに基づく。"導来"形式の展開への原動力となった欲求は、グロタンディークによるの理論のなんらかの意味での定式化を行うことであった。導来圏は以後、代数幾何学以外の領域に於いてさえ、たとえば、D-加群や超局所解析でも不可欠な概念となっている。さらに、近年は、ミラー対称性やD-ブレーンの定式化という物理学に近い領域でも、導来圏が重要な役割を果たすようになっている。
非特異スキームであるという前提のない連接層の理論で、セール双対の結果を通して出現する極限をとると、単純に双対化する層の部分に沿っての双対鎖複体をとる必要が出てくる。事実、非特異性を弱めることとなるコーエン・マコーレー環の条件は、単純に双対化された層が存在することに対応する。しかし、これは、一般的議論であるとはとてもいえない。いつもそうであるが、高い位置からトップダウンでグロタンディークが想定していることを、再定式化することが非常に重要となる。（たとえば、）このことは、実テンソル積やHom函手が導来圏のレベルで存在するはずであるというアイデアもそうであり、Tor函手と Ext函手もこれを通してより計算し易い道具立てとなった。
抽象度が高いにもかかわらず、特に層コホモロジーの設定での利便性により、導来圏は続く10年で受け入れられるようになった。おそらく、1980年頃、導来圏のことばで 1 よりも大きな次元でのの定式化が、最も大きな前進であっただろう。佐藤スクールでは、導来圏の言葉を使い、D-加群をこの言葉で表現した。
平行して発展した理論は、ホモトピー論でのの圏の理論である。スペクトルのホモトピーの圏と環の導来圏は、双方ともの例である。
formula_1 をアーベル圏とする。導来圏 formula_2 はいくつかのステップを踏んで得られる。
の圏 formula_10 である。この圏の対象が導来圏の対象となるが、射は異なる。特に、ホモトピー同値が擬同型となっているので、第二のステップは避けることができる。しかし、射の単純な経路図式の定義は、より複雑な射の別の有限個の矢印により置き換える必要がある（テクニカルには、「分数の計算」を超えたものとなる（容易には計算できないことを意味する））。したがって、第一のステップの構成で十分ではあるのだが、一層、より複雑となってしまう。
の観点からは、導来圏 formula_2 は双対鎖複体の真のホモトピー圏であり、一方、formula_11 はナイーブなホモトピー圏と呼ばれる。
双対鎖複体 X が下に有界とは、n « 0 に対し X = 0 であることで、上に有界とは、n » 0 に対し X = 0 であることで、単に有界とは、|n| » 0 に対し X = 0 のことである。
（以下に見るように）なんらかの目的のため、有界ではない双対鎖複体の代わりとして、下に有界、上に有界、あるいは有界な双対鎖複体を使う。対応する導来圏は、通常、それぞれに対し、formula_15 と記す。
（クラスの考え方ではなく）ある対象から別の対象への射の集合が存在するという圏の古典的観点を適用するとき、導来圏に変更することを証明するには、議論を追加する必要がある。
アーベル圏 formula_1 が小さい場合、つまり、対象の集合しか持たない場合は、何も問題がない。formula_1 がであったとしても、導来圏 formula_2 はホモトピー圏 formula_11 の充満部分圏に同値であるので、ある対象から他への射の集合を持つのみである。グロタンディークアーベル圏は、環の上の加群の圏や位相空間上のアーベル群の層の圏や他の例を多く含んでいる。
しかしながら、導来圏での 2つの射の合成は、合成される 2つの射の頂点に、ある第三の射を見つけることで完成する。このことが確認できて始めて、well-definedで結合的な合成であることが完成する。
formula_11 はであるので、formula_11 の局所化 formula_2 も三角圏である。整数 n と双対鎖複体 X に対し、X を n シフトした双対鎖複体 X[n] を
と微分
により定義する。
定義から、formula_2 の完全三角形は、ある双対鎖複体の射 "f": "X" → "Y" から導かれる三角形 "X" → "Y" → Cone("f") → "X"[1] と formula_2 において同型な三角形である。ここに、Cone("f") は "f" のである。特に、formula_1 中の短完全系列 に対し、三角形 は、formula_2 の完全三角形である。ヴェルディエは、シフト の定義を、射 の写像錐であることとして説明した。
formula_1 の対象を次数 0 に集中された双対鎖複体とみなすと、導来圏 formula_2 は formula_1 を充満部分圏にもつ。さらに興味深いことに、導来圏の射は、Ext群の全情報を含んでいる。すべての対象 X, Y とすべての整数 j について、
を得る。
ホモトピー同値は擬同型であることが容易に示せるので、上の構成の第二段階は省略できる場合がある。標準的函手
の存在が明らかであるので、定義は通常この方法で与えられる。
具体的な状況において導来圏の射を直接に扱うことは非常に困難であるか不可能である。そこで導来圏に同値なより扱い易い圏を探すことになる。古典的には、射影分解と単射分解による2つの（双対な）アプローチがある。どちらの場合にも、上の標準函手を適当な部分圏へ制限することで圏同値となる。
以下では導来圏の文脈における単射分解の役割を述べる。これは右導来函手を定義する基礎となり、位相空間上の層コホモロジーやエタール・コホモロジーや群コホモロジーのような進んだコホモロジー論へ重要な応用を持つ。
このテクニックを応用するために、問題のアーベル圏が十分単射的対象を持つことを仮定する必要がある。十分単射的対象を持つとは、圏のすべての対象 X がある単射対象 への単射を持つという意味である。（写像も単射対象も一意である必要はない。）たとえば、は十分単射的対象を持つ。 を単射対象 へ埋め込み、この射の余核を単射対象 I へ埋め込みと、繰り返すと X の単射分解、つまり（一般には無限の）完全系列
が構成できる。ここに、 は単射対象である。このアイデアは一般化され、十分小さな に対し となる下に有界な双対鎖複体 の分解を与える。上で注意したように、単射分解は一意的に定まらないが、任意の2つの分解が互いにホモトピー同値であり、ホモトピー圏では同型であるという事実がある。さらに、双対鎖複体の射は2つの与えられた単射分解の射へ一意的に拡張される。
これがホモトピー圏が再び重要な役割を果たす点である。formula_1 の対象 から formula_1 の（任意の）単射分解　 への射は、函手
へ拡張される。
この函手が実際にはじめに述べた標準的局所化函手の制限の逆であることは、容易に分かる。言い換えると、導来圏における は、 と の両方を単射分解した後ホモトピー圏で射を計算することにより計算することができ、このほうが理論的にはより容易となる。実際には の分解だけで十分であり、任意の双対鎖複体 と任意の下に有界な単射的双対鎖複体 に対し、
となる。
双対に、formula_1 が十分射影対象を持つこと、つまり、すべての対象 X に対し、射影対象 P から X への全射が存在することを仮定すれば、単射分解の代わりに射影分解を使うこともできる。
この分解のテクニックに加えて、特別な場合に適用し、上に有界や下に有界の制限問題をエレガントに避ける同様な方法がある。 では、いわゆる K-単射分解や K-射影分解を使っている。 と（少し用語は異なっているが） ではいわゆる胞体加群や準自由加群という用語が導入された。
さらに一般的には、定義を注意深い適用すると、の導来圏を定義することもできる。
導来圏は導来函手の研究と定義の自然なフレームワークである。以下では、formula_40 をアーベル圏の函手とする。2つの双対な考えがある。
以下では右導来函手について述べるので、F を左完全とする。典型例は、ある固定した対象 A に対し、formula_41 あるいは、formula_42 により与えられる formula_43 や層の上の大域切断函手や順像函手である。これらの右導来函手は、それぞれ、Ext函手（formula_44 )、層コホモロジー（formula_45 ）、高次順像函手 () である。
導来圏によって、すべての導来函手 RF をひとつの函手へ要約することができる。いわゆる全導来函手 formula_46 である。この函手は合成 formula_47 である。ここに第一の圏同値は上で述べたものである。古典的な導来函手は、formula_48 を通して、全導来函手へ関連付いている。formula_49 は双対鎖複体を忘れコホモロジーのみを保持している一方、formula_50 は双対鎖複体を保持している、ということもできる。
導来圏はこれらの函手を研究するための、ある意味で、「適切な」圏である。たとえば、F が formula_1 の単射対象を G-非輪状（つまり、すべての i > 0 と単射写像 I に対し、formula_52 となるような函手であり、2つの函手の合成
のは、全導来函手の恒等射を表わす
である。ヴェルディエはアーベル圏に付帯する導来関手がどのようにすれば formula_1 の適切な導来圏への埋め込みに沿ったカン拡張としてみることができるかを示した [Mac Lane]。3つの教科書は導来圏について議論している。