バエズの留め金の応用

バエズの留め金（クラスプ）を使って、ベータ変換とエータ（イータ）変換の絵を書いた。恒等射のラムダ抽象のベータ変換は随伴の余単位、エータ変換が随伴の単位を与える。バエズの留め金を使うと、ニョロニョロ関係式が比較的自然に描ける。

後日、スキャンして絵を貼る。