HTTのappendix 1.4. Cをright-closed monoidal categoryとする。 すなわち任意のa \in Cに対し関手-\otimes a : n \maspto (n \otimes a)に右随伴(-)^a : y \mapsto y^aが存在する。 DをC-enriched categoryとする。 この時c \in Cとx \in Dを用いて関手D \t…