2000 character limit reached
On effective descent $\mathcal V$-functors and familial descent morphisms
Published 6 May 2023 in math.CT | (2305.04042v2)
Abstract: We study effective descent $ \mathcal V $-functors for cartesian monoidal categories $ \mathcal V $ with finite limits. This study is carried out via the properties enjoyed by the $2$-functor $ \mathcal V \mapsto \mathsf{Fam}(\mathcal V) $, results about effective descent of bilimits of categories, and the fact that the enrichment $2$-functor preserves certain bilimits. Since these results rely on an understanding of (effective) descent morphisms in $ \mathsf{Fam}(\mathcal V) $, we briefly study those epimorphisms when $ \mathcal V $ is a regular category.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.