順序を保つ写像を関手と見なすときの自然変換
順序を保つ写像
を
関手
と見なしたときの
自然変換
が存在するための、
順序を保つ写像
がもつべき性質。
またそのような自然変換が
たかだか一つ
であること。
https://img.hyuki.net/twitter-1149280735028600832-1.jpg
#20190711
#20190711113414
ツイート
#今日の圏論
#ベーシック圏論