最終更新日：2025/12/04
To model parallel composition of processes, we work within a monoidal category where objects represent systems and the tensor product encodes their combination.
正解を見る
To model parallel composition of processes, we work within a monoidal category where objects represent systems and the tensor product encodes their combination.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
元となった例文
並列結合をモデル化するために、対象が系を表しテンソル積がその結合を表す、双関手 ⊗:C×C→C（テンソル積）、結合同型 α_{A,B,C}:(A⊗B)⊗C≃A⊗(B⊗C)、単位対象 I と左単位自然同型 λ_A:I⊗A≃A および右単位自然同型 ρ_A:A⊗I≃A、そしてこれら同型に関する整合性条件（五角形図と三角形図の可換性）を備えた圏の中で扱う。
