🔄
ストリング図で学ぶ圏論の基礎の演習問題を解いてみる(1.1.2)
ストリング図で学ぶ圏論の基礎の演習問題を解いてみます。
(1) \implies (2), (1) \implies (3) について
(2) \implies (1) について
となるが、
(3) \implies (1) について
となるが、
結論
以上より、(1), (2), (3) はすべて同値である。
Discussion