[rentwi.hyuki.net]

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

ぴあのんさんから早速リプが!ありがとうございます!😊
https://twitter.com/piano2683/status/1128247495312601088?s=21

関係ないですが(U’U)×(V’V)ってバルタン星人みある。
(V)o¥o(V)フォフォ

2019-05-14 (Tue) 10:28:21