自然数（非負整数）集合が対象である圏をなんか呼び名があったような。PROだかPRODだか、うーんと？ グレアム・シーガル（Graeme Segal）が言っていたのだっけ？オペラッドが自然数を対象とする複圏？

結合性自然同型 - 檜山正幸のキマイラ飼育記 メモ編 そういえば、α、λ、ρをそれぞれ、associator, left unitor, right unitorと言うことがあるようだ。tensoratorなんて言葉もある。

さまざまな移動（moves）たち - 檜山正幸のキマイラ飼育記 メモ編 タングルの圏 - 檜山正幸のキマイラ飼育記 メモ編 対蹠作用、直進圏、最小自由生成 - 檜山正幸のキマイラ飼育記 メモ編 直進圏とその変種 - 檜山正幸のキマイラ飼育記 メモ編 とかを読み直す…