bitterharvest https://blog.hatena.ne.jp/bitterharvest/ bitterharvest’s diary https://bitterharvest.hatenablog.com/ プログラマーのための圏論 (上級編) ６．米田の補題 今回の記事は、米田の補題(Yoneda lemma)である。圏論の定義の中で、個人名がついている定理や補題はそれほど多くない。これから紹介する補題は、数少ない例の一つである。そして、重要な定義であることには間違いない。それも、かなり難解なものと想像してもよいだろう。でも、圏論のすばらしさを知るためには、この補題の理解を欠かすことはできない。米田の補題はとても抽象的な理論であるが、この理論を正確に理解するためには、具体的な応用例が必要だ。そこで、今回もまた、具体的な例を求めて、長い時間をかけて検討した。やっとまとまったので紹介しよう。 ６．１ 具体例 １） 横歩きするカニ リモコ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbitterharvest.hatenablog.com%2Fentry%2F2018%2F03%2F24%2F154031" 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/20180324/20180324145043.png Hatena Blog https://hatena.blog 2018-03-24 15:40:31 rich https://bitterharvest.hatenablog.com/entry/2018/03/24/154031 1.0 100%