纤维化多范畴论
摘要：群论学中的一个纤维化fibration d：D -> I，我们将一个纤维化多范畴定义为一个特定的函子p：M -> I，其中M具有与D相同的对象，它的箭头a：X -> Y应被视为在多范畴中由pY索引的箭头族。关键公理将由d给出的对象的重新索引，扩展到I中的拉回方块中的M中的箭头的重新索引。当D以适当的意义包含在M中时，我们再次得到了纤维化范畴。在这个背景下，笛卡尔纤维化多范畴以一种自然的方式被定义和研究。
作者：Claudio Pisani
论文ID：2201.01967
分类：Category Theory
分类简称：math.CT
提交时间：2022-01-07