函手圏の評価
eval
of
functor category
函手圏
を
指数対象
とみたときの
評価
函手の図式順適用
$ \mathrm{eval}_{A,B}\colon A × B^A → B
$ \left\lang a, \lang F \rang \right\rang \mapsto a.F