加载中…
There are two dual equivalences between the -category of -monoidal -categories with right adjoint lax -monoidal functors and that with left adjoint oplax -monoidal functors, where is an -operad. We study the space of equivalences between these two -categories, and show that the two equivalences equipped with compatible -monoidal presheaf functors are canonically equivalent.

生成讲解博客的中文版本

生成AI智能校验的中文版本