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

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

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

米田の補題振り返り

設定より規約が重要です。
記法がバラバラで理解困難になっています。
まず、記法をそろえましょう
（補足はまたあとで）