余代数の演算を表す言葉
Δと!(またはε)をなんて呼ぶかってことだが、主にモノイド積が直和のときの話。∇はΔの双対、ηとか0は!の双対。
- Δは対角、duplicator, ramificator、重複器、分岐器とか; 分流器がいいような気もする。
- !はdischarger, 放電器; 消流器ってのはどうか?
- ∇は、merger、合流器がいいかな。
- 回路のアナロジーだと複製器、放電器がいいだろうが、制御だと分流器、消流器のほうが語感がいい。
- ηは定数発生器の特殊なもので、零発生器とか単位発生器と呼べばいいだろう。