We introduce , double-struck Iℍ a sound and complete graphical theory of vector subspaces over the field of polynomial fractions, with relational composition. The theory is constructed in modular fashion, using Lack's approach to composing PROPs with distributive laws. We then view string diagrams of double-struck Iℍas generalised stream circuits by using a formal Laurent series semantics. We characterize the subtheory where circuits adhere to the classical notion of signal flow graphs, and illustrate the use of the graphical calculus on several examples. © 2014 Springer-Verlag.
Bonchi F., Sobocinski P., Zanasi F. (2014). A categorical semantics of signal flow graphs. Springer Verlag [10.1007/978-3-662-44584-6_30].
A categorical semantics of signal flow graphs
Zanasi F.
2014
Abstract
We introduce , double-struck Iℍ a sound and complete graphical theory of vector subspaces over the field of polynomial fractions, with relational composition. The theory is constructed in modular fashion, using Lack's approach to composing PROPs with distributive laws. We then view string diagrams of double-struck Iℍas generalised stream circuits by using a formal Laurent series semantics. We characterize the subtheory where circuits adhere to the classical notion of signal flow graphs, and illustrate the use of the graphical calculus on several examples. © 2014 Springer-Verlag.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
