ヴォエヴォドスキーによると、ローヴェア・セオリーは相対モナドです。ローヴェア・セオリーに対応する（普通の）モナドは集合圏上の有限項モナド〈finitary monad〉です。「セオリー → モナド」対応は、相対モナドを（普通の）モナドに拡張しているのではな…