圏論

図式をつなげたり分けたり

図式の一部の可換性から他の部分の可換性が従うか、についてまとめます。
Read more