Monoidal Structures on Generalized Polynomial Categories

Abstract

Recently, there has been renewed interest in the theory and applications of de Paiva's dialectica categories and their relationship to the category of polynomial functors. Both fall under the theory of generalized polynomial categories, which are free coproduct completions of free product completions of (monoidal) categories. Here we extend known monoidal structures on polynomial functors and dialectica categories to generalized polynomial categories. We highlight one such monoidal structure, an asymmetric operation generalizing composition of polynomial functors, and show that comonoids with respect to this structure correspond to categories enriched over a related free coproduct completion. Applications include modeling compositional bounds on dynamical systems.

arXiv commentIn Proceedings ACT 2023, arXiv:2312.08138

References in corpus (9)

• Coherence for lenses and open games
• Categories, norms and weights
• Dynamic Operads, Dynamic Categories: From Deep Learning to Prediction Markets
• Directed Containers as Categories
• Diegetic Representation of Feedback in Open Games
• A reference for categorical structures on $\mathbf{Poly}$
• Open Dynamical Systems as Coalgebras for Polynomial Functors, with Application to Predictive Processing
• Duoidal Structures for Compositional Dependence
• An introduction to enriched cofunctors