论文标题
Monoidal Pull-Push II：本地系统
Monoidal Pull-Push II: Local Systems
论文作者
论文摘要
我们在这项工作中的目的是提供明确，简单地构造本地系统作为松懈的单型函子的构造。为此，我们证明可以使用左KAN扩展解决CAT_ \ Infty的喇叭填充问题，并使用它来提供左KAN扩展函数的明确结构。我们使用此结果表明，局部系统的拉式刺激诱导了从跨度（S）（S）的无穷大类别的函数，进入CAT_ \ Infty。然后，我们开发了单型贝克 - 切瓦利纤维的机械，并使用它来表明上面的pull-push函子允许宽松的单体结构。
Our aim in this work is to provide an explicit, simple construction of pull-push of local systems as a lax monoidal functor. To this end, we show that one can solve horn filling problems Cat_\infty using left Kan extensions, and use this to provide an explicit construction of a left Kan extension functor. We use this result to show that pull-push of local systems induces a functor from Span(S), the infinity category of spans of spaces, into Cat_\infty. We then develop a machinery of monoidal Beck-Chevalley fibrations, and use this to show that the pull-push functor above admits a lax monoidal structure.
