加载中…
We study effective descent -functors for cartesian monoidal categories with finite limits. This study is carried out via the properties enjoyed by the -functor , results about effective descent of bilimits of categories, and the fact that the enrichment -functor preserves certain bilimits. Since these results rely on an understanding of (effective) descent morphisms in , we briefly study those epimorphisms when is a regular category.

生成讲解博客的中文版本

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