小ネタ。左自律圏のM×M*（または、右自律圏の*M×M）にはモノイド構造が入る。乗法と単位は次で与える。

ブレイド関係式は「アルチン（Artin）の関係式」と呼んでいいと思う。間違いのはずはない。それに対応する対称（置換）の関係式も僕はアルチンの関係式と呼んでいたが、誰だか別の人の名前が付いていた。どこかで見た、比較的最近見た。が、思い出せない。誰…