中文

Day convolution for algebraic patterns

范畴论 2026-04-29 v2 代数拓扑

摘要

We characterize the exponentiable objects for a wide range of structures prevalent in \infty-categorical algebra, extending the construction of Day convolution to more general structures than \infty-operads. More precisely, we give a criterion that is both necessary and sufficient for many of these structures encountered in practice, such as (equivariant) \infty-operads and virtual double \infty-categories. We work within the framework of algebraic patterns of Chu-Haugseng that describe these structures in terms of weak Segal fibrations. As part of the proof, we give a new description of weak Segal fibrations in terms of generalized Segal spaces on certain "tree" categories. We also define the "underlying graph" of a weak Segal fibration, extending the notion of the underlying \infty-category for \infty-operads, and explicitly describe the underlying graph of exponential objects in weak Segal fibrations.

关键词

引用

@article{arxiv.2603.29815,
  title  = {Day convolution for algebraic patterns},
  author = {Thomas Blom and Félix Loubaton and Jaco Ruit},
  journal= {arXiv preprint arXiv:2603.29815},
  year   = {2026}
}

评论

v2: submitted version with small corrections and improvements; 74 pages, comments welcome