bitterharvest https://blog.hatena.ne.jp/bitterharvest/ bitterharvest’s diary https://bitterharvest.hatenablog.com/ プログラマーのための圏論 (上級編) ７．６ 随伴から導き出される可換図式 随伴の定義からどのような可換図式が導きだされるかを考えてみよう。随伴の定義は次のようになっている。二つの局所的に小さな圏\(\mathcal{C},\mathcal{D}\)において、関手の対\(R: \mathcal{C} \rightarrow \mathcal{D}, L: \mathcal{D} \rightarrow \mathcal{C}\)が三角恒等式を満たす次の射\(ϵ,η\)を有する時、随伴であるという。\begin{eqnarray} ϵ : L \circ R \rightarrow I_\mathcal{C} \\ η : I_\m… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbitterharvest.hatenablog.com%2Fentry%2F2018%2F05%2F23%2F094133" title="随伴関手　－　随伴から導き出される可換図式 - bitterharvest’s diary" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/b/bitterharvest/20180523/20180523093928.png Hatena Blog https://hatena.blog 2018-05-23 09:41:33 rich https://bitterharvest.hatenablog.com/entry/2018/05/23/094133 1.0 100%