English

On effective descent $\mathcal V$-functors and familial descent morphisms

Category Theory 2024-01-15 v2

Abstract

We study effective descent V \mathcal V -functors for cartesian monoidal categories V \mathcal V with finite limits. This study is carried out via the properties enjoyed by the 22-functor VFam(V) \mathcal V \mapsto \mathsf{Fam}(\mathcal V) , results about effective descent of bilimits of categories, and the fact that the enrichment 22-functor preserves certain bilimits. Since these results rely on an understanding of (effective) descent morphisms in Fam(V) \mathsf{Fam}(\mathcal V) , we briefly study those epimorphisms when V \mathcal V is a regular category.

Cite

@article{arxiv.2305.04042,
  title  = {On effective descent $\mathcal V$-functors and familial descent morphisms},
  author = {Rui Prezado},
  journal= {arXiv preprint arXiv:2305.04042},
  year   = {2024}
}

Comments

17 p

R2 v1 2026-06-28T10:27:40.926Z