圏論で使う絵算〈{graphical | pictorial | diagrammatic} {calculation | computation}〉については、次の記事で詳しく説明しています。 圏論の随伴をちゃんと抑えよう： お絵描き完全解説 上記過去記事にしたがって多少のトレーニングをすれば圏論的絵図の…