Google AI Studioを使うと圏論が計算できるのかもしれない...
検証中。出来たら凄いな。(これ、一ヶ月考えても分からなかった)
一箇所、間違いがあったけど残りは合ってる気がする。
回答結果はこれ。どのエディターで見ればわかりやすいのかな。
τ<sub>A,C,B,D</sub> ◦ τ<sub>A,B,C,D</sub> を計算します。
まず、τ<sub>A,B,C,D</sub> は以下の形でした。
τ<sub>A,B,C,D</sub> : (A × B) × (C × D) → (A × C) × (B × D)
τ<su