generated at
2/21/2025, 9:26:47 PM
モノイド閉圏
closed monoidal category