Fが共変関手、Gが反変関手のとき、F(f) = f*, G(f) = f* という略記を、F, Gが何でもお構いなしに使う。 例：接関手をTとすると、T(f) = f*、前送りもf*、引き戻しは f* F(f)は単にfと書くこともある。f:X→Y, g:Y→Y として、gによる前送りg*を単に g とかい…