あっ、そうか！ と気が付きました。型理論、圏論、集合論、論理などを一緒にやるときに、同義語・多義語に悩まされるのですが、記号に関しても同義記号・多義記号のカオス状態にストレスがたまります。例えば、矢印記号に関しては次の過去記事に書いています…