Showing 2025Show all
3 papers · 1 filter
cs.LO2025
Between Markov and restriction. Two more monads on categories for relations
Cipriano Junior Cioffo, Fabio Gadducci, Davide Trotta
The study of categories abstracting the structural properties of relations has been extensively developed over the years, resulting in a rich and diverse body of work. In a previou…
cs.LO2025
Tape Diagrams for Monoidal Monads
Filippo Bonchi, Cipriano Junior Cioffo, Alessandro Di Giorgio +1
Tape diagrams provide a graphical representation for arrows of rig categories, namely categories equipped with two monoidal structures, and , where dist…
math.CT2025
A taxonomy of categories for relations
Cipriano Junior Cioffo, Fabio Gadducci, Davide Trotta
The study of categories that abstract the structural properties of relations has been extensively developed over the years, resulting in a rich and diverse body of work. This paper…