マエ結合函手
紛らわしいので使わない
definition.icon
そのマエ結合函手$ 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
射
$ \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'