20181217111021
#今日の圏論
#圏論の基礎
先日は積圏を定義しました。今回は関手の積。積圏から積圏への関手で、対象と射をそれぞれ対にするだけという明示的な定義。明日は別の定義。
https://t.co/tWIIxOUVmv
https://img.hyuki.net/twitter-1074622825426632706-1.jpg
#20181217
#20181217111021
ツイート