双関手を構成する話
p.47
双関手
を構成する話の続き。まだよくわかってないけれど、圏と射と関手をステートメントにしたがって列挙して、少なくともdomとcodが何になっているべきかの確認はできたし、わかってる。動きはわかってないけどシンタクスエラーは起きてないみたいな理解の状態。
#今日の圏論
#圏論の基礎
https://img.hyuki.net/20190519213939-306192b7a202c1e7.jpg
#20190519
#20190519112437
ツイート