Fetching the paper…
Reading the bibliography…
We introduce the theory IH of interacting Hopf algebras, parametrised over a principal ideal domain R.
S. Kleene, Representation of events in nerve nets and finite automata, Autom. Stud. (1956) 3–42
1956
Earlier work this paper cites.
S. Mac Lane, Categorical algebra, Bulletin of the American Mathematical Society 71 (1965) 40–106
1965
Earlier work this paper cites.
M. Sweedler, Hopf Algebras, W. A. Benjamin, Inc., 1969
1969
Earlier work this paper cites.
G. M. Kelly, M. L. Laplaza, Coherence for compact closed categories, Journal of Pure and Applied Algebra 19 (1980) 193–213
1980
Earlier work this paper cites.
B. R. McDonald, Linear algebra over commutative rings, Marcel Dekker, New York, 1984
1984
Earlier work this paper cites.
G. Bergman, Everybody knows what a Hopf algebra is, Amer. Math. Soc. Contemp. Math. 43 (1985) 25–48
1985
Earlier work this paper cites.
A. Carboni, R. F. C. Walters, Cartesian bicategories I, Journal of Pure and Applied Algebra 49 (1987) 11–32
1987
Earlier work this paper cites.
1993
Earlier work this paper cites.
R. Street, The formal theory of monads, Journal of Pure and Applied Algebra 2 (1) (2002) 243–265
2002
Earlier work this paper cites.
R. Rosebrugh, R. J. Wood, The formal theory of monads II, J Pure Appl Algebra 175 (1) (2002) 327–353
2002
Earlier work this paper cites.
S. Lack, Composing PROPs, Theory and Applications of Categories 13 (9) (2004) 147–163
2004
Earlier work this paper cites.
S. Abramsky, B. Coecke, A categorical semantics of quantum protocols, in: 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings, 2004, pp. 415–425
2004
Earlier work this paper cites.
J. J. M. M. Rutten, A tutorial on coinductive stream calculus and signal flow graphs, Theor. Comput. Sci. 343 (3) (2005) 443–481
2005
Cited alongside, same era.
R. Bruni, I. Lanese, U. Montanari, A basic algebra of stateless connectors, Theor Comput Sci 366 (2006) 98–120
2006
Cited alongside, same era.
L. Hogben, Handbook of Linear Algebra, 1st Edition, (Discrete Mathematics and Its Applications), Chapman & Hall/CRC, 2006
2006
Cited alongside, same era.
P. Selinger, Dagger compact closed categories and completely positive maps: (extended abstract), Electr. Notes Theor. Comput. Sci. 170 (2007) 139–163
2007
Cited alongside, same era.
2009
Cited alongside, same era.
D. Pavlovic, Monoidal computer I: Basic computability by string diagrams, Inf. Comput. 226 (2013) 94–116
2013
Later among the works it cites.
M. P. Fiore, M. D. Campos, The algebra of directed acyclic graphs, in: Abramsky Festschrift, Vol. 7860 of LNCS, 2013
2013
Later among the works it cites.
F. Bonchi, P. Sobocinski, F. Zanasi, A categorical semantics of signal flow graphs, in: CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, 2014, pp. 435–450
2014
Closest in time.
J. C. Baez, J. Erbele, Categories in control, Tech. rep., arXiv:1405.6881 (2014)
2014
Closest in time.
R. Bruni, U. Montanari, G. D. Plotkin, D. Terreni, On hierarchical graphs: Reconciling bigraphs, gs-monoidal theories and gs-graphs, Fundam. Inform. 134 (3-4) (2014) 287–317
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
B. Coecke, A. Kissinger, Interacting Frobenius algebras and the structure of multipartite entaglement, Tech. Rep. PGR-RR-09-12, Oxford (2009)
2009
Cited alongside, same era.
S. Milius, A sound and complete calculus for finite stream circuits, in: LICS, 2010
2010
Cited alongside, same era.
J. C. Baez, M. Stay, Physics, topology, logic and computation: A Rosetta stone, Lecture Notes in Physics 813 (2011) 95–174
2011
Cited alongside, same era.
B. Coecke, R. Duncan, Interacting quantum observables: categorical algebra and diagrammatics, New Journal of Physics 13 (4) (2011) 043016
2011
Cited alongside, same era.
E. Cheng, Iterated distributive laws., Math. Proc. Camb. Philos. Soc. 150 (3) (2011) 459–487
2011
Cited alongside, same era.
B. Coecke, R. Duncan, A. Kissinger, Q. Wang, Strong complementarity and non-locality in categorical quantum mechanics, in: Proceedings of the Twenty-Seventh Annual IEEE Symposium on Logic in Computer Science (LICS 2012), IEEE Computer Society Press, 2012, pp. 245–254
2012
Cited alongside, same era.
D. R. Ghica, Diagrammatic reasoning for delay-insensitive asynchronous circuits, in: Abramsky Festschrift, 2013, pp. 52–68
2013
Cited alongside, same era.
2014
Closest in time.
F. Bonchi, P. Sobociński, F. Zanasi, Interacting bialgebras are Frobenius, in: FoSSaCS ‘14, Vol. 8412 of Lecture Notes in Computer Science, Springer, 2014, pp. 351–365
2014
Closest in time.
doi:10.4204/EPTCS.172.20
C. S. de Witt, V. Zamdzhiev, The ZX calculus is incomplete for quantum mechanics , in: Proceedings of the 11th workshop on Quantum Physics and Logic, QPL 2014, Kyoto, Japan, 4-6th June 2014., 2014, pp. 285–292 · 2014
Closest in time.
doi:10.4204/EPTCS.172.21
M. Backens, The zx-calculus is complete for the single-qubit clifford+t group, in: B. Coecke, I. Hasuo, P. Panangaden (Eds.), Proceedings 11th workshop on Quantum Physics and Logic, Kyoto, Japan, 4-6th June 2014, Vol. 172 of Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2014, pp. 293–303 · 2014
Closest in time.
F. Bonchi, P. Sobociński, F. Zanasi, Full abstraction for signal flow graphs, in: Principles of Programming Languages, POPL‘15., 2015
2015
Closest in time.
2015
Closest in time.
F. Zanasi, Interacting hopf algebras: the theory of linear systems, Ph.D. thesis, Ecole Normale Supérieure de Lyon (2015)
2015
Closest in time.