English

Completeness of quantaloid-enriched categories up to Morita equivalence

Category Theory 2025-11-24 v1

Abstract

For a small quantaloid Q\mathcal{Q}, we introduce M\mathcal{M}-(co)complete Q\mathcal{Q}-categories, i.e., (co)complete Q\mathcal{Q}-categories up to Morita equivalence, as Eilenberg--Moore algebras of the presheaf monad on the category of Q\mathcal{Q}-categories and left adjoint Q\mathcal{Q}-distributors, and characterize such Q\mathcal{Q}-categories through M\mathcal{M}-(co)tensoredness and M\mathcal{M}-conical (co)completeness.

Keywords

Cite

@article{arxiv.2511.17024,
  title  = {Completeness of quantaloid-enriched categories up to Morita equivalence},
  author = {Xiaoye Tang},
  journal= {arXiv preprint arXiv:2511.17024},
  year   = {2025}
}