3 papers
cs.LO2026
Tapes as Stochastic Matrices of String Diagrams
Filippo Bonchi, Cipriano Junior Cioffo
Tape diagrams provide a graphical notation for categories equipped with two monoidal products, and , where is a biproduct. Recently, they have been gener…
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.LO2024
Fibred sets within a predicative and constructive effective topos
Cipriano Junior Cioffo, Maria Emilia Maietti, Samuele Maschio
We describe the fibrational structure of sets within the predicative variant of Hyland's Effective Topos previously introduced in Feferman's predicat…