関手圏
関手圏
［ 𝓐, 𝓑 ］。
圏
𝓐から
圏
𝓑への
関手
を
対象
とし
関手
間の
自然変換
を
射
とする
圏
である。
恒等自然変換
と
自然変換の合成
を定義することになります。
わかれば当たり前に見えてくる不思議。
https://img.hyuki.net/twitter-1148546981771587587-1.jpg
恒等自然変換
と
自然変換の合成
の表記がやや気になったので、確かめのために自分で考えつつ
可換図式
を描く。
https://img.hyuki.net/twitter-1148552672401747968-1.jpg
#20190709110118
ツイート
#20190709
#20190709105834
ツイート
#今日の圏論
#ベーシック圏論