generated at
2/18/2025, 5:47:34 PM
函手圏の評価
eval
of
functor category
函手圏
を
指数対象
とみたときの
評価
函手の図式順適用
\mathrm{eval}_{A,B}\colon A × B^A → B
\left\lang a, \lang F \rang \right\rang \mapsto a.F