ベックの分配法則（Beckスワッパー）の対称性の高い模様 - 檜山正幸のキマイラ飼育記 メモ編にて： こういう綺麗な模様ってのはたいてい何か意味があるもんだよ。 綺麗な模様を使って、unbiasedな乗法を定義できる。 n = 4 のとき： FτττG | μττμ | μτμ | μμ…

「今」とかいう惹句はどうでもいい悪のり。Ordを順序集合（poset）と単調写像の圏とする。Ordで豊饒化された圏、つまりOrd-CatをOcatとする。固有名詞だからOCatとすべきだろうが、めんどうだから普通字体。(後で続き)