topic:指数・冪・冪乗・累乗
用語がごちゃりとしている
指数函手
指数対象
冪集合函手
指数随伴系
内部hom函手
2変数をどう固定するかによって名前が変わっている、というのはあるが
見通しと使い回しが悪く、ごちゃごちゃしやすい
Ref.icon
指数関手と構文論・意味論 - 檜山正幸のキマイラ飼育記 (はてなBlog)