- 中身が同じでも、所属組織や肩書きが変われば違うモノ
「同じだけど違う」「違うけど同じ」に慣れるのは、どうも非常に難しいらしく、慣れるまでに何年もかかるかも知れない。
- 射〈morphism〉： 1-in 1-out
- 複射〈multimorphism〉： n-in 1-out (n = 0, 1, 2, ...)
- 多射〈polymorphism〉： n-in m-out (n, m = 0, 1, 2, ...)
- 原射〈urmorphism〉： in-out の区別はない
射、複射、多射の三者は相互に変換可能。射 → 複射 → 多射 と規準的〈canonical〉に埋め込める。多射と原射の相互変換は anchor/unanchor〈投錨・抜錨〉 で多様性がある。0本のワイヤーの束を一括〈バンチ〉して1本の $`{\bf 1}`$ ワイヤーが生まれる。その逆もできる。
