20190710114459
#今日の圏論
#ベーシック圏論
対象が2個で恒等射しかない圏を2と書くことにする。2から𝓐への関手は𝓐 の対象の組で、関手間の自然変換は𝓐 の射の組で、関手圏
2,𝓐
は直積圏𝓐× 𝓐と同型になる。
https://t.co/AGGwmbvbmP
https://img.hyuki.net/twitter-1148921054351380480-1.jpg
#20190710
#20190710114459
ツイート