内部多类别函子的下降
摘要：在（广义）内部多范畴的范畴中，我们提供了有效下降的充分条件。我们追求两种研究有效下降态射的方法。第一种方法依赖于将内部多范畴的范畴建立为图表范畴的等定子。第二种方法扩展了伊万·勒克鲁尔（Ivan Le Creurer）在他对内部本质代数结构下降研究中所开发的技术。
作者：Rui Prezado and Fernando Lucatelli Nunes
论文ID：2112.10072
分类：Category Theory
分类简称：math.CT
提交时间：2022-10-04