評価関手
evaluation functor
https://ncatlab.org/nlab/show/evaluation+map