Tape diagrams provide a graphical representation for arrows of rig categories, namely categories equipped with two monoidal structures, $\oplus$ and $\otimes$, where $\otimes$ distributes over $\oplus$. However, their applicability is limited to categories where $\oplus$ is a biproduct, i.e., both a categorical product and a coproduct. In this work, we extend tape diagrams to deal with Kleisli categories of symmetric monoidal monads, presented by algebraic theories.

翻译：带图为配备两种幺半结构 $\oplus$ 和 $\otimes$ 的环范畴（其中 $\otimes$ 对 $\oplus$ 满足分配律）中的箭头提供了图形化表示。然而，其适用性仅限于 $\oplus$ 为双积（即同时是范畴积和余积）的范畴。在本工作中，我们将带图扩展至处理由代数理论给出的对称幺半幺子的 Kleisli 范畴。