目的と記号法

1. 悪い記号法／用語法／図示法で悪いメンタルモデルが作られている。それを矯正する。
2. 随伴に慣れる。

良い記法は図式順だが、反図式順も認める。The Book方式はダメ。

演算	The Book	反図式順	図式順
射の適用	f(x)	fx	x;f
射の結合	gf	gf	f;g
関手の適用	F(X)	FX	X*F
関手の結合	GF	GF	F*G
自然変換の適用	αX	αX	X*α
自然変換の縦結合	β・α	βα	α;β
関手と自然変換のヒゲ結合	Gα	Gα	α*G
自然変換の横結合	βα	βα	α*β

図式順（逆ポーランド記法に近い）で「*」を省略すると人は幸せになり、学習効果も2倍3倍に加速する。今は大多数の人が不幸。

関数型言語で f x を使っているが、あれはまたまったくまったく別 ev(f, x) = f◁x とでも書くべきを略しているだけ。ev(f, x) も <f, x>;ev だし。