generated at
2/21/2025, 7:42:52 PM
評価関手
evaluation functor
https://ncatlab.org/nlab/show/evaluation+map