>Fの「ゼロ乗」に相当するものとしてηが与えられる。

ηと恒等関手の違いがさっぱりわからない
こんなの絶対おかしいよ