まだ生煮えの話をします。最初に動機を書くと； 随伴系を定義する2つの方法である「ニョロニョロ関係式」と「自然なホムセット同型」が同値であることをお絵描き〈絵算 | {pictorial | graphical | diagrammatic} calculus〉で示したい！ ということです。ニ…