discopy:用于计算单曲面类别的工具箱 源码

分布组合Python DisCoPy是用于计算单曲面类别的工具箱。 产品特点 图表和食谱 图表是DisCoPy的核心数据结构,它们是通过以下语法生成的: diagram ::= Box ( name , dom = type , cod = type ) | diagram @ diagram | diagram >> diagram | Id ( type ) type ::= Ty ( name ) | type . l | type . r | type @ type | Ty () (也称为或)是用于计算具有的图形演算。 例如,如果我们将食材作为类型并将烹