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