Tapes as Stochastic Matrices of String Diagrams

Filippo Bonchi; Cipriano Junior Cioffo

Tapes as Stochastic Matrices of String Diagrams

Filippo Bonchi, Cipriano Junior Cioffo

arXivarxiv/2601.01472Jan 4, 2026cs.LOscore 0

Tape diagrams provide a graphical notation for categories equipped with two monoidal products, $\otimes$ and $\oplus$, where $\oplus$ is a biproduct. Recently, they have been generalised to handle Kleisli categories of arbitrary monoidal monads. In this work, we show that for the subdistribution monad, tapes are isomorphic to stochastic matrices of subdistributions of string diagrams. We then exploit this result to provide a complete axiomatisation of probabilistic Boolean circuits.

Source JSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2601.01472
curl -X POST /api/v1/records/arxiv/2601.01472/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2601.01472/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'