圏を定義したあとその先に行く - pogi-log

圏を定義したあとその先に行く

from:

https://www.youtube.com/watch?v=QGoc2WhWZ8c

圏を定義しただけだとあまりうれしくない

応用