逆圏と関手
#今日の圏論
#圏論の基礎
p.42
逆圏
と
関手
(
メタ圏
Cat→Catにおける
関手
)
共変関手
とわざわざ言ってるのは、TをT^opに移すときにCatの射(つまり関手)を逆転させないから、という理解でいいのかな。
https://t.co/YiULnSLFB7
https://img.textfile.org/twitter-1067774106307723264-1.jpg
#20181128
#20181128133559
ツイート