这个库提供了一个直观的语法来定义字符串图表和幺正函子。它的模块化允许在范畴理论的各种应用中有效地实现计算实验,在这些应用中,图已经成为通用语言。...我们举几个不断增长的应用清单:计算机科学[12,1],量子理论和 ZX-微积分[16,2,19],网络和控制理论[5,6,7],并发性[11]、数据库和知识 代表权[55,10],贝叶斯推理和因果关系[...21,13,39],语言学和认知学[14,9],函数式编程 [60]、机器学习和博弈论[29,30].在所有这些应用中,字符串图是语法,结构保持函子用于计 算它们在具体类别中的语义。...Monoidal 函子允许将这些图翻译成具体的计算,与优化 的特定任务库接口。...因此,我们实现了量子电 路 5)作为刚性幺半群范畴的子类,具有额外的方法
对于作为数值张量的计算以及与 t|ket> 编译器的接口[64].