同義語・多義語の例

ステイ／メリディスの次の論文、とても良い。

• Title: Logic as a distributive law
• Author: Mike Stay, Lucius Gregory Meredith
• URL: https://arxiv.org/abs/1610.02247

僕がふだん考えていることだから、問題意識が一致して分かりやすい。

本論じゃないところで、（連想で）考えたことも含めていくつかの記事にしようと思う。

まず（論旨じゃないけど）連想した多義語の話。

• {関数 | 演算(子)?}{記号 | 名}?

これを展開すると：

1. 関数記号
2. 関数名
3. 関数
4. 演算子記号
5. 演算子名
6. 演算子
7. 演算記号
8. 演算名
9. 演算

英語だと

• {function | operation | operator}{symbol | name}?

型理論からの例だと、

• (型)?{文脈 | コンテキスト | 環境 | 前提 | 仮定}
• (型)?{判断 | シーケント}

愚痴は 型理論ってば - 檜山正幸のキマイラ飼育記 から辿れる。

さらに例をいくか。

1. (formal)? {logical | proof | deduction | deductive | entailment} system
2. {(term)? constructor | connective | {function | operation | operator | morphism | homomorphism | map | mapping}{symbol | name}? }
3. (term)? {rewrite | rewriting} ({rule | scheme | schema})?
4. {equation | axiom | condition | assertion | constraint | identity | relation}
5. {exponential | function (space)? | arrow | implication | power} type, ただし、power typeは危険。
6. 日本語では、exponentもexponentialも「指数」
7. {finitary | algebraic}
8. {type | sort | set -- when(セマンティクスが集合) | object | 0-morphism}
9. {instance | implementation | model | algebra}
10. {rewrite | invertible 2-morphism | track}
11. {wire | string | arrow | edge | arc}
12. {arithmetic | calculus}