米田の補題まで理解できるように圏論の学習を進めていまして、メモを残すことで大分整理できてきた気がします。 圏論学習中メモ 射 対象 a,b があったとき f: a -> b のように対象間の矢印を射といい、このとき a を始対象、b を終対象という。また f: a -> …