順序集合と見なせる関手圏
A,Bを、
順序集合
を
圏
と見なした圏とし、AからBへの
順序を保つ写像
を
関手
と見なした
関手圏
[A,B]は
順序集合
と見なせる。
https://img.hyuki.net/twitter-1149644624845127681-1.jpg
#20190712
#20190712114012
ツイート
#今日の圏論
#ベーシック圏論