続・rator
交換律 commutative law のratorは、associat-ive → associat-or に倣うなら commutat-ive → commutat-or だが、commutatorは使えない。苦し紛れでcommutorにする。transforのような造語もあるし。https://arxiv.org/abs/math/0610952 では、symmetryのことをcommutorと呼んでいる。ウーンンン。確かにsymmetryよりcommutorのほうがいいけど、commution(造語になる)とかにして欲しい気もする。現状では、symmetry以外ならpermutationだろう。
- 二項演算の associator, left/right unitor
- 余二項演算の coassociator, left/right counitor
- 二項演算の commutor 、これはflipとも言う。permutationが消える。
- アクション action-associator, action-unitor あるいは actionator
- ライデマイスターI I-Reidemeisterator ヤンキング 角が取れた(丸い)燕の尾
- ライデマイスターII II-Reidemeisterator 消失するコーン
- ライデマイスターIII III-Reidemeisterator = Yang-Baxterator
- ライデマイスター0 snakeorator ニョロニョロ-rator カスプ特異点(持ち上げ)
- Ψ移動 psirator
- フロベニウス関係 Frobeniusor
- フロベニウス特殊律 bubblor (de-bubblor)
- 双代数律 ?
- pantagonator assoiatorの適用例である2-セルのあいだを繋ぐdeformation=3-セル
- マックレーンの三角形等式 ? trangulatorはダメそうだ
- Zamolodchikovator Yang-Baxteratorの適用例である2セルのあいだを繋ぐdeformation=3-セル
以上に出したratorはすべてtight(strong) similarityである。tight similarityとは、可逆なn-セルのこと。両端の(n-1)セルのあいだの等式・不等式的法則を与える。特にstrict similarityは等式のこと。tight similarityは可逆なので、「x〜y ならば y〜x」という反射性(reflexivity リフレクセ'ヴィティ)を持つ。その反射性もreflexor(リフレクサ)というratorで表現される。
ヤン・バクステレイターはともかく、ザモロドチコヴェイターは恐ろしそうだ。
[追記]思い出したら追加する。
- tensorator, interchangor 交替律に対応する同義語。
- braiding bundlor, unbundlor
- braiding exchangor, braiding exchangerator (syllepsisと呼ばれる)
[/追記]
[追記]
- 座毛路度血個負〈ザモドロチコフ〉
- 座毛路度血個米田亜〈ザモドロチコヴェイダー〉
[/追記]