时序接线图操作子：离散时间过程图形语言的形式化
范畴论
2013-07-29 v1 编程语言
神经元与认知
摘要
我们利用操作子的数学理论研究过程的层次结构。信息或物质作为输入流进入给定过程，该过程将其转换为输出流。输出流随后可以以有组织的方式供给其他过程，由此产生的互连过程系统本身可被视为一个宏过程。为此类系统中固有的结构建模，我们定义了黑盒与有向接线图的操作子 ，并定义了过程的 -代数 （继 Radul 和 Sussman 之后，我们称之为传播子）。以往的接线图操作子模型使用无长度且无方向的导线，适用于约束静态系统建模；而我们使用具有长度的有向导线，适用于信息动态流的建模。全文提供了多个实例以夯实这些理念。
引用
@article{arxiv.1307.6894,
title = {The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes},
author = {Dylan Rupel and David I. Spivak},
journal= {arXiv preprint arXiv:1307.6894},
year = {2013}
}