rst123 https://blog.hatena.ne.jp/rst123/ ランダム勉強記録 https://rst123.hatenadiary.org/ 定義 導来関手 に対し、次のような関手 と 自然変換 の組を左導来関手（left derived functor）という。 すなわち、任意の関手 と自然変換 に対し、 を可換にするような が唯一つ決まる。 右導来関手は と で、 次のようになるもの。 命題 がコファイブラント間の弱同値射を 同型射にうつす関手とすると、 に対する左導来関手があり、 コファイブラント に対し、 は同型になる。 定義 全左導来関手 と の合成 に対する左導来関手 を全左導来関手という。 全右導来関手も同様である。 定理 随伴 で がコファイブレーションを保存し、 がファイブレーションを保存するなら、 随伴 が存在す… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Frst123.hatenadiary.org%2Fentry%2F20160422" title="モデル圏5 - ランダム勉強記録" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2016-04-22 00:00:00 rich https://rst123.hatenadiary.org/entry/20160422 1.0 100%