定義 導来関手 に対し、次のような関手 と 自然変換 の組を左導来関手（left derived functor）という。 すなわち、任意の関手 と自然変換 に対し、 を可換にするような が唯一つ決まる。 右導来関手は と で、 次のようになるもの。 命題 がコファイブラン…