English

The Morita $(\infty,2)$-category of a monoidal category as a $2$-complicial set

Category Theory 2025-09-29 v1 Algebraic Topology

Abstract

We provide an explicit and elementary construction of the Morita (,2)(\infty,2)-category of a monoidal category which satisfies minimal conditions. We construct it as a 33-coskeletal 22-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.

Keywords

Cite

@article{arxiv.2509.21472,
  title  = {The Morita $(\infty,2)$-category of a monoidal category as a $2$-complicial set},
  author = {Arghan Dutta and Stefano Luneia and Martina Rovelli and Sam Silver},
  journal= {arXiv preprint arXiv:2509.21472},
  year   = {2025}
}

Comments

34 pages; comments welcome!