自然変換
自然変換
の定義。
自然変換はF(A)→G(A)なる
射
の
族
。
圏𝓐 の射A→A’ から、圏𝓑 の射F(A)→G(A’)を作り出せるように
可換性
が効いているらしいぞ🤔
https://img.hyuki.net/twitter-1145665590507364352-1.jpg
#20190701
#20190701120856
ツイート
#今日の圏論
#ベーシック圏論