モノイダル閉圏
closed monoidal category
左モノイダル閉圏
右モノイダル閉圏
両側モノイダル閉圏
右閉かつ左閉
片方満たされれば自動的に両側になる
組紐付きモノイダル閉圏
組紐付きモノイダル圏
対称モノイダル閉圏
対称モノイダル圏
additional.icon
指数単位律子
内部合成子
内部恒等射
ref.icon
scrap:非対称閉圏のカリー化：記号法を工夫すれば、右と左の混乱も解消
丸矢印はここから引用
Ref.icon
closed monoidal category in nLab
Ref.icon
モノイド閉圏 - Wikipedia