加载中…
We give another proof of the fact that there is a dual equivalence between the -category of monoidal -categories with left adjoint oplax monoidal functors and that with right adjoint lax monoidal functors by constructing a perfect pairing between them.

生成讲解博客的中文版本

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