加载中…
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.

生成讲解博客的中文版本

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