米田の補題 #21 関手の種類

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

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

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

関手の種類

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

減ったけど、まだおおすぎる。