关于有效下降$mathcal V$-函子和家族下降态射
摘要：在具有有限极限的笛卡尔蒙纳德范畴$\mathcal{V}$中，我们研究了有效下降$\mathcal{V}$-函子。通过对$2$-函子$\mathcal{V}\mapsto \mathsf{Fam}(\mathcal{V})$的性质进行研究，以及关于类别的双极限的有效下降的结果，以及强化的$2$-函子保持某些双极限的事实，来进行这项研究。由于这些结果依赖于对$\mathsf{Fam}(\mathcal{V})$中的(有效)下降态射的理解，所以当$\mathcal{V}$是一个正则范畴时，我们简要研究了这些满态射。
作者：Rui Prezado
论文ID：2305.04042
分类：Category Theory
分类简称：math.CT
提交时间：2023-05-09