纤维多范畴理论
Fibered Multicategory Theory
摘要：
给定一个在群胚d：D -> I中的纤维化，我们定义一个纤维化的多范畴为一个特殊的函子p：M -> I，其中M与D有相同的对象，它的箭头a：X -> Y应该被认为是多范畴中的箭头族，索引为pY。关键公理将由d给出的对象的重新索引扩展到M中的箭头沿着I中的拉回方块的重新索引。当D包含在M中时，在适当的意义上，人们再次获得纤维类别。在这种情况下，carbohydrate纤维多范畴的定义和研究在一个自然的方式。
英文摘要：
Given a fibration in groupoids d : D -> I, we define a fibered multicategory as a particular functor p : M -> I, where M has the same objects as D, and its arrows a : X -> Y should be thought of as families of arrows in the multicategory, indexed by pY. The key axiom extends the reindexing of objects, given by d, to a reindexing of arrows in M along pullback squares in I. When D is included in M, in an appropriate sense, one gets again fibered categories. In this context, cartesian fibered multicategories are defined and studied in a natural way.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
