一変数関手と双関手
二つの
一変数関手
で
双関手
が決定されるという命題。図式と証明はまた今度。
https://t.co/tisPcfqa2V
#今日の圏論
#圏論の基礎
https://img.hyuki.net/twitter-1128979860372697088-1.jpg
#20190516
#20190516110548
ツイート