Fη
F ------> FGF
という表記は、どういう事を表しているでしょうか。
(Fは圏Dから圏Cへの関手、Gは圏Cから圏Dへの関手、ηは自然変換(D上の射相当)です)

FおよびFGFは、DからCへの関手だと思いますが、
Fηはなんであり、FからFGFの間にそれがあるというのはどういう事でしょうか?