Completeness of quantaloid-enriched categories up to Morita equivalence
Category Theory
2025-11-24 v1
Abstract
For a small quantaloid , we introduce -(co)complete -categories, i.e., (co)complete -categories up to Morita equivalence, as Eilenberg--Moore algebras of the presheaf monad on the category of -categories and left adjoint -distributors, and characterize such -categories through -(co)tensoredness and -conical (co)completeness.
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}
}