Showing math.CTShow all
3 papers · 1 filter
math.CT2026
Approaching the Continuous from the Discrete: an Infinite Tensor Product Construction
Antonio Lorenzin, Fabio Zanasi
Increasingly in recent years, probabilistic computation has been investigated through the lenses of categorical algebra, especially via string diagrammatic calculi. Whereas categor…
math.CT2026
Layered Monoidal Theories II: Fibrational Semantics
Leo Lobski, Fabio Zanasi
Layered monoidal theories provide a categorical framework for studying scientific theories at different levels of abstraction, via string diagrammatic algebra. We introduce models…
math.CT2026
Graded String Diagrams for Imprecise Probability and Causal Intervention
Ralph Sarkis, Fabio Zanasi
We introduce string diagrams for graded symmetric monoidal categories. Our approach includes a definition of graded monoidal theory and the corresponding freely generated syntactic…