Fetching the paper…
Reading the bibliography…
Herein we develop category-theoretic tools for understanding network-style diagrammatic languages.
Makers of Science
I. B. Hart · 1923
Earlier work this paper cites.
Repartición de corriente en una red conductora
H. Weyl · 1923
Earlier work this paper cites.
Synthesis of a finite two-terminal network whose driving-point impedance is a prescribed function of frequency. PhD thesis, MIT, 1931
O. Brune · 1931
Earlier work this paper cites.
On the regular representations of algebras
R. Brauer and C. Nesbitt · 1937
Earlier work this paper cites.
The theory and design of linear differential equation machines. Reported to National Defence Research Council, 1942
C. E. Shannon · 1942
Earlier work this paper cites.
Dynamical Analogies
H. F. Olson · 1943
Earlier work this paper cites.
On Ext and exact sequences
N. Yoneda · 1954
Earlier work this paper cites.
The unreasonable effectiveness of mathematics in the natural sciences
E. P. Wigner · 1960
Earlier work this paper cites.
Industrial Dynamics
J. W. Forrester · 1961
Earlier work this paper cites.
Analysis and Design of Engineering Systems
H. M. Paynter · 1961
Earlier work this paper cites.
Korrespondenzen in abelschen Kategorien
D. Puppe · 1962
Earlier work this paper cites.
Catégories avec multiplication
J. Bénabou · 1963
Earlier work this paper cites.
An algebra of additive relations
S. Mac Lane · 1963
Earlier work this paper cites.
Natural associativity and commutativity
S. Mac Lane · 1963
Earlier work this paper cites.
A common framework for automata theory and control theory
M. A. Arbib · 1965
Earlier work this paper cites.
Introduction to bicategories I
J. Bénabou · 1967
Earlier work this paper cites.
General Systems Theory: Foundations, Development, Applications
L. von Bertalanffy · 1968
Earlier work this paper cites.
Mathematical Foundations of Network Analysis
P. Slepian · 1968
Earlier work this paper cites.
Relational algebras
M. Barr · 1970
Earlier work this paper cites.
Relations in categories
A. Klein · 1970
Earlier work this paper cites.
State Space and Multivariable Theory . Wiley, New York, 1970
H. H. Rosenbrock · 1970
Earlier work this paper cites.
Exact categories
M. Barr · 1971
Earlier work this paper cites.
Regular categories
P. A. Grillet · 1971
Earlier work this paper cites.
Toward a mathematical semantics for computer languages
D. Scott and C. Strachey · 1971
Earlier work this paper cites.
Minimal realization of machines in closed categories
J. Goguen · 1972
Earlier work this paper cites.
On the mathematical foundations of electrical network theory
S. Smale · 1972
Earlier work this paper cites.
Network Analysis and Synthesis: a Modern Systems Theory Approach
B. D. O. Anderson and S. Vongpanitlerd · 1973
Earlier work this paper cites.
Planarization by transformation
M. van Lier and R. Otten · 1973
Earlier work this paper cites.
Foundations of system theory: decomposable systems
M. A. Arbib and E. G. Manes · 1974
Earlier work this paper cites.
Machines in a category: an expository introduction
M. A. Arbib and E. G. Manes · 1974
Earlier work this paper cites.
Passive and Active Network Analysis and Synthesis
A. Budak · 1974
Earlier work this paper cites.
Universal Grammar
R. Montague · 1974
Earlier work this paper cites.
Discrete-time machines in closed monoidal categories I
J. Goguen · 1975
Earlier work this paper cites.
Communicating sequential processes
C. A. R. Hoare · 1978
Earlier work this paper cites.
Machines in a category
M. A. Arbib and E. G. Manes · 1980
Earlier work this paper cites.
A web of naked fancies?
B. Davies · 1980
Earlier work this paper cites.
Dirichlet Forms and Markov Processes
M. Fukushima · 1980
Earlier work this paper cites.
Linear Systems , Prentice-Hall, Upper Saddle River, 1980
T. Kailath · 1980
Earlier work this paper cites.
A Calculus of Communicating Systems
R. Milner · 1980
Earlier work this paper cites.
Algebra II. Chapters 4–7
N. Bourbaki · 1981
Cited alongside, same era.
Symplectic geometry
A. Weinstein · 1981
Cited alongside, same era.
Chap. 12: The theory of electrical circuits, A Course of Mathematics for Students of Physics
P. Bamberg and S. Sternberg · 1982
Cited alongside, same era.
Random Walks and Electrical Circuits
P. G. Doyle and J. L. Snell · 1984
Cited alongside, same era.
Aspects of modern control theory
H. W. Knobloch and M. Thoma · 1984
Cited alongside, same era.
Ecological and General Systems: An Introduction to Systems Ecology
H. T. Odum · 1984
Cited alongside, same era.
Control System Design: An Introduction to State-Space Methods
Electrical networks, symplectic reductions, and application to the renormalization map of self-similar lattices
C. Sabot · 2004
Later among the works it cites.
Some new directions in control theory inspired by systems biology
E. D. Sontag · 2004
Later among the works it cites.
A brief history of process algebra
J. C. M. Baeten · 2005
Later among the works it cites.
A Lagrangian representation of tangles
D. Cimasoni and V. Turaev · 2005
Later among the works it cites.
Generic commutative separable algebras and cospans of graphs
R. Rosebrugh, N. Sabadini, and R. F. C. Walters · 2005
Later among the works it cites.
Quantum quandaries: a category-theoretic perspective
J. C. Baez · 2006
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
B. Friedland · 1986
Cited alongside, same era.
Foundations and applications of Montague grammar. Part 1: Philosophy, framework, computer science
T. M. V. Janssen · 1986
Cited alongside, same era.
From time series to linear system—Part I. Finite dimensional linear time invariant systems
J. C. Willems · 1986
Cited alongside, same era.
Cartesian bicategories I
A. Carboni and R. F. C. Walters · 1987
Cited alongside, same era.
Topological quantum field theory
M. Atiyah · 1988
Cited alongside, same era.
Transformations of linear systems under external equivalence
J. M. Schumacher · 1988
Cited alongside, same era.
Toposes are adhesive
S. Lack and P. Sobociński · 2006
Later among the works it cites.
The Music of Life: Biology Beyond the Genome
D. Noble · 2006
Later among the works it cites.
Engineering System Dynamics: a Unified Graph-Centered Approach
F. T. Brown · 2007
Later among the works it cites.
Topology in Molecular Biology: DNA and Proteins
M. I. Monastyrsky · 2007
Later among the works it cites.
Consensus and cooperation in networked multi-agent systems
R. Olfati-Saber, J.A. Fax, and R.M. Murray · 2007
Later among the works it cites.
Dagger compact closed categories and completely positive maps
P. Selinger · 2007
Later among the works it cites.
The behavioral approach to open and interconnected systems
J. Willems · 2007
Later among the works it cites.
A student’s guide to symplectic spaces, Grassmannians and Maslov index
P. Piccione and D. V. Tausk · 2008
Later among the works it cites.
Calculating colimits compositionally
R. Rosebrugh, N. Sabadini, and R. F. C. Walters · 2008
Later among the works it cites.
The compositional construction of Markov processes
L. Albasini, N. Sabadini, and R. F. C. Walters · 2011
Later among the works it cites.
A prehistory of n n -categorical physics
J. C. Baez and A. Lauda · 2011
Later among the works it cites.
Physics, topology, logic and computation: a Rosetta Stone
J. C. Baez and M. Stay · 2011
Later among the works it cites.
Categories for the practising physicist
B. Coecke and É. O. Paquette · 2011
Later among the works it cites.
An embedding theorem for adhesive categories
S. Lack · 2011
Later among the works it cites.
A survey of graphical languages for monoidal categories
P. Selinger · 2011
Later among the works it cites.
Anticipatory Systems: Philosophical, Mathematical, and Methodological Foundations
R. Rosen · 2012
Later among the works it cites.
Constructor theory
D. Deutch · 2013
Later among the works it cites.
Compositionality
Z. G. Szabó · 2013
Later among the works it cites.
A categorical semantics of signal flow graphs
F. Bonchi, P. Sobociński, and F. Zanasi · 2014
Later among the works it cites.
An introduction to partition logic
D. Ellerman · 2014
Later among the works it cites.
Belief propagation in monoidal categories
J. Morton · 2014
Later among the works it cites.
Categories in control
J. C. Baez and J. Erbele · 2015
Later among the works it cites.
Full abstraction for signal flow graphs
F. Bonchi, P. Sobociński, and F. Zanasi · 2015
Later among the works it cites.
B. Fong · 2015
Later among the works it cites.
The Mathematics of Networks of Linear Systems , Springer–Verlag, Berlin Heidelberg,, Berlin Heidelberg, 2015
P.A. Fuhrmann and U. Helmke · 2015
Later among the works it cites.
Algebras of open dynamical systems on the operad of wiring diagrams
D. Vagner, D. I. Spivak, and E. Lerman · 2015
Later among the works it cites.
Interacting Hopf algebras—the theory of linear systems
F. Zanasi · 2015
Later among the works it cites.
A compositional framework for Markov processes
J. C. Baez, B. Fong, and B. Pollard · 2016
Closest in time.
Rewriting modulo symmetric monoidal structure
F. Bonchi, F. Gadducci, A. Kissinger, P. Sobociński, and F. Zanasi · 2016
Closest in time.
Interacting Hopf algebras
F. Bonchi, P. Sobociński, and F. Zanasi · 2016
Closest in time.
Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning
B. Coecke and A. Kissinger · 2016
Closest in time.
Categories in Control: applied PROPs
J. Erbele · 2016
Closest in time.
A categorical approach to open and interconnected dynamical systems
B. Fong, P. Rapisarda and P. Sobocinski · 2016
Closest in time.