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.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

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, \(\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.