モノイド閉圏
closed monoidal category
イズベル共軛
圏論
モノイド閉圏 - Wikipedia