順序集合を圏と見なした圏ではすべての図式は可換になる
順序集合
を
圏
と見なしたとき、その圏の
図式
はすべて
可換
になる。
対象aから対象bへの射は
たかだか一つ
しかないことからしたがう。
これは頭の中だけでわかりました。うれしい😊
https://img.hyuki.net/twitter-1149638580651737088-1.jpg
#20190712
#20190712111611
ツイート
#今日の圏論
#ベーシック圏論