人間の思考と矢印

人間の思考と矢印の向きは不思議なことに逆であることが多い。例えば$A$が$B$を含む、と言った場合はinjection $A\leftarrow B$を定義するのが自然である。物理などにおける変数変換も同様で、$x$を$x'$に変換する、などと言ったときに定義されるのは$x \leftarrow x'$なる関数である。しかし教科書などでは日本語通りに$x\rightarrow x'$と書いてしまうので注意が必要である。