メモです。 2021.02初旬に考察した「剛モノイダルなカルテシアン圏はどのようなものが存在するか」という問に対する答えです。 をカルテシアンモノイダル圏*1とし、さらに剛モノイダル圏であるとする。 対象の双対対象をと表すことにする。よく知られた定理*…