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