generated at
指数随伴系
exponential adjunction
テンソル・ホム随伴系

モノイダル圏Cにおいて
指数対象は左右に分かれるので
指数随伴系も左右2種類の随伴系に分かれる
対称モノイダル圏においては両者は同型？
少し緩めて組紐付きモノイダル圏でいい

左指数随伴系
右指数随伴系



ref scrap:ラムダ計算の自然性とお絵描き
Ref internal hom in nLab