米田の補題は、圏論でもっとも重要な定理です（繰り返し）

圏論は、数学の基礎理論です。いままで、万物の理論
といわれていましたが、数理科学 11月号では、なんと　万物・万事・万人のための数学理論とまでいわれるようになりました
このAdventCalendar は、体験的に圏論の最も重要な定理である米田の補題を体験的に理解してもらうためにかいています

参考にしているのは、圏論の道案内です

自然変換の例 hom関手間の自然変換

※すみません　寝落ちします。起きたらかきくわえます