20181215125325
#今日の圏論
#圏論の基礎
射影。積圏B×CからB,Cへの関手P,Q(射影)は普遍的。
https://t.co/r1TQlmCi99
https://img.hyuki.net/twitter-1073923985174220801-1.jpg
#20181215
#20181215125325
ツイート