Vが対称モノイド圏で、FがV上の性質のいいモナド（たぶん可換モナド）とする。CがV-圏のとき、hom-object C(a, b)∈|V|に対して、F(C(a, b))を新しいhom-objectとするような圏を作れそうだ。このF構成をF(C)と書いてもいいかも。

ジョン・バエズ（John Baez）は頻繁にグレアム・シーガル（Graeme Segal）に言及している。 バエズの"This Week's Finds in Mathematical Physics (Week **) "にシーガルやその論文が登場するのは： 不明 (Week 42) September 23, 1995 (Week 64) May 17, 19…

過去のエントリーを読み直した。 ウッギャーッ！！ テンプレートを忘れてた - 檜山正幸のキマイラ飼育記 メモ編 指標Σの項モナドをTΣ(-)とする（もともとはTIΣと書いてあった）。LΣ(-) := Pow(TΣ(-))と定義する。ここで、Powは共変ベキ・モナドである。一方…