generated at
2/12/2025, 5:22:08 PM
モノイド閉圏
closed monoidal category
イズベル共軛
圏論
モノイド閉圏 - Wikipedia