The Operadic Theory of Convexity
Applied Categorical Structures, vol.33, no.3, 2025 (SCI-Expanded, Scopus)
- Publication Type: Article / Article
- Volume: 33 Issue: 3
- Publication Date: 2025
- Doi Number: 10.1007/s10485-025-09809-z
- Journal Name: Applied Categorical Structures
- Journal Indexes: Science Citation Index Expanded (SCI-EXPANDED), Scopus, Academic Search Premier, MathSciNet, zbMATH, DIALNET
- Keywords: Convexity, Entropy, Grothendieck construction, Monoidal structure
- Ankara Yıldırım Beyazıt University Affiliated: Yes
Abstract
In this paper, we present an operadic characterization of convexity utilizing a PROP which governs convex structures and derive several convex Grothendieck constructions. Our main focus is a Grothendieck construction which simultaneously captures convex structures and monoidal structures on categories. Our proof of this Grothendieck construction makes heavy use of both our operadic characterization of convexity and operads governing monoidal structures. We apply these new tools to two key concepts: entropy in information theory and quantum contextuality in quantum foundations. In the former, we explain that Baez, Fritz, and Leinster’s categorical characterization of entropy has a more natural formulation in terms of continuous, convex-monoidal functors out of convex Grothendieck constructions; and in the latter we show that certain convex monoids used to characterize contextual distributions naturally arise as convex Grothendieck constructions.