ラックス・モノイド関手をラクソイド（laxoid）と呼ぶことにする。オプラックス・モノイド関手はコラクソイド。タイト・ラクソイド＝タイト・コラクソイド。厳密は考えてもしょうがない。結合律子とラクソイドの関係を長年気付かなかったのは、やはり記法の…

記法バイアスと記法独立な把握： 順序随伴を例として - 檜山正幸のキマイラ飼育記に関連するメモ。囲み記号の多様性 ( ), { }, [] 左右が同じ囲み記号 | |, " ", ' ', ` ` 囲み記号の省略 区切り記号 ',', ;, :, |, /, 空白, 改行, なし（併置） 二種の区切…