generated at
恒等関手
identity functor
どの対象も、どの射も自分自身へ移すものとして定まる関手
自己関手の特殊版