加载中…
We provide an explicit and elementary construction of the Morita -category of a monoidal category which satisfies minimal conditions. We construct it as a -coskeletal -complicial set, in which the vertices encode the monoids, the edges encode the bimodules, the triangles encode the bimodule maps out of a balanced tensor product, and tetrahedra encode composition of bimodule maps. The marked edges encode invertible bimodules, and the marked triangles encode bimodule isomorphisms with a balanced tensor product.

生成讲解博客的中文版本

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