米田の補題 ー 具体例 - bitterharvest’s diary
6．米田の補題 今回の記事は、米田の補題(Yoneda lemma)である。圏論の定義の中で、個人名がついている定理や補題はそれほど多くない。これから紹介する補題は、数少ない例の一つである。そして、重要な定義であることには間違いない。それも、かなり難解なものと想像してもよいだろう。でも、圏論のすばらしさを知るためには、この補題の理解を欠かすことはできない。 米田の補題はとても抽象的な理論であるが、この理論を正確に理解するためには、具体的な応用例が必要だ。そこで、今回もまた、具体的な例を求めて、長い時間をかけて検討した。やっとまとまったので紹介しよう。6．1 具体例1︶ 横歩きするカニ リモコンからの遠隔操作でおもちゃを動かして楽しんでいる人も多いと思う。ラジコン飛行機、レーシングカー、最近では、ドローンだ。コントロールボタンを操作することで、これらの機器が自由に動き回る。何とも面白いお
