強モナド (T, μ, η, s)/C が構文的だとは： 基礎圏 C は挿入的余デカルト・モノイド圏 モナドは強度 s とその余強度〈右強度〉に対して可換モナド モナド単位は、Cの挿入。 挿入的モノイド圏〈insertive monoidal category〉とは： 挿入〈insertion〉の圏と…