指数随伴系
exponential adjunction
テンソル・ホム随伴系
モノイダル圏$ C において
指数対象は左右に分かれるので
指数随伴系も左右2種類の随伴系に分かれる
対称モノイダル圏においては両者は同型？
少し緩めて組紐付きモノイダル圏でいい
左指数随伴系
右指数随伴系
reference.icon scrap:ラムダ計算の自然性とお絵描き
reference.icon internal hom in nLab