2011-07-14 8. Categories of diagrams 米田の補題 ぱらぱらめくる『Category Theory』by Steve Awodey ぱらぱらめくるシリーズ 圏論 米田の補題 Natural transformation of functorsに関することらしい