20190514102821
#今日の圏論
#圏論の基礎
p.47
圏の積を作る×がこれまた関手になるという話。本の中で出てきた合成関手の積(U’U)×(V’V)は(U’⚪︎U)×(V’⚪︎V)でもいいのだろうかと疑問が出ました。気にしなくてもいいのかな…チラ…
https://t.co/gE6aMbTA4L
#20190514
#20190514102821
ツイート