マエ結合函手
紛らわしいので使わない
函手F\colon C→Dに対し
そのマエ結合函手F^* \colon X^D → X^C
対象
\left\lang G \right\rang \mapsto \left\lang F^* G = F*G \right\rang
where
G \colon D → X
(*) \colon 函手の図式順結合
射
\left\lang \alpha \right\rang \mapsto \left\lang F^* \alpha = F*\alpha \right\rang
where
\alpha \colon G ⇒ G'
F^*\alpha \colon F^*G ⇒ F^*G'