8. Categories of diagrams 米田の補題 ぱらぱらめくる『Category Theory』by Steve Awodey

  • 米田の補題
  • Natural transformation of functorsに関することらしい