bitterharvest https://blog.hatena.ne.jp/bitterharvest/ bitterharvest’s diary https://bitterharvest.hatenablog.com/ Haskellプログラミング講座（中級編） １．米田の補題 圏論の重要な概念のひとつに米田の補題がある。これは次で表される。\({\mathcal C}\)を圏とした時、任意の\({\mathcal C}\)の対象\(A\)と関手\(F: {\mathcal C} \rightarrow {\bf Sets}\)に対して \({\rm Nat}({\rm Hom}(A,-),F) \cong F(A)\) である。さらに、この同型\(\cong\)は、\(F\)と\(A\)に対して自然である。 ２．自然変換 \({\rm Hom}(A,-)\)が関手であることが、前の説明で分かったので、次は、\({\rm Nat}\)と記された自然変換… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbitterharvest.hatenablog.com%2Fentry%2F2014%2F09%2F15%2F071324" title="Haskellの真髄に迫る - 一般化代数的データ（５） - 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> http://cdn-ak.f.st-hatena.com/images/fotolife/b/bitterharvest/20140915/20140915060758.png Hatena Blog https://hatena.blog 2014-09-15 07:13:24 rich https://bitterharvest.hatenablog.com/entry/2014/09/15/071324 1.0 100%