20190722002603
#今日の圏論
(ふと思いついたのでメモ。
圏同値
の「
同値
」という
用語
は、
論理
の「同値」と関係があるだろうか。「
ならば
」の
矢印
を
射
と見るとそれっぽいけれど(何も調べていませんし、ちゃんと考えていません))
#20190722
#20190722002603
ツイート