{"id":"arxiv/2607.24212","url":"https://arxiv.org/abs/2607.24212","tags":["cs.LO","math.CT"],"score":0,"title":"Convex Biproducts, Stochastic Matrices and Tape Diagrams","domain":"cs.LO","source":"arxiv","authors":["Filippo Bonchi","Cipriano Junior Cioffo"],"reviews":0,"subject":"cs.LO","summary":"Categories with finite biproducts play a central role in category theory, providing an abstract setting in which additive and linear structures can be studied uniformly. In this paper, we introduce categories with \\emph{convex} biproducts, which intuitively restrict the linear structures to convex ones. We show that, whereas categories with finite biproducts give rise to a matrix calculus based on arbitrary linear combinations, convex biproduct categories instead induce a matrix calculus based on stochastic (more generally, substochastic) matrices. This perspective yields a refined algebraic…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-07-27","reactions":{}}