单向拉-推II：本地系统
Monoidal Pull-Push II: Local Systems
摘要：
在这项工作中，我们的目标是提供一个明确的，简单的建设的本地系统作为一个宽松的monoidal函子的推拉。为此，我们表明，可以解决喇叭填充问题猫_ \infty使用左Kan扩展，并使用它来提供一个明确的左Kan扩展函子的建设。利用这个结果，我们证明了局部系统的推拉作用从空间跨度的无穷范畴Span（S）诱导函子到Cat_ \infty .然后，我们开发了一个机器的monoidal贝克Chevalley纤维化，并使用此来表明，上述的推拉函子承认一个松散的monoidal结构。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
