Fetching the paper…
Reading the bibliography…
Theories featuring the interaction between a Frobenius algebra and a Hopf algebra have recently appeared in several areas in computer science: concurrent programming, control theory, and quantum computing, among others.
Sweedler, M.E.: · 1969
Earlier work this paper cites.
Coherence for compact closed categories
Kelly, G., Laplaza, M.: · 1980
Earlier work this paper cites.
The shuffle bialgebra
Benson, D.B.: · 1988
Earlier work this paper cites.
Frobenius Algebras and 2-D Topological Quantum Field Theories
Kock, J.: · 2003
Earlier work this paper cites.
Composing PROPs
Lack, S.: · 2004
Earlier work this paper cites.
Generic commutative separable algebras and cospans of graphs
Rosebrugh, R., Sabadini, N., Walters, R.: · 2005
Earlier work this paper cites.
POVMs and Naimark’s theorem without sums
Coecke, B., Paquette, E.O.: · 2006
Earlier work this paper cites.
Quantum Groups: A Path to Current Algebra
Street, R.: · 2007
Earlier work this paper cites.
Interacting quantum observables
Coecke, B., Duncan, R.: · 2008
Earlier work this paper cites.
Categorical quantum mechanics
Abramsky, S., Coecke, B.: · 2008
Earlier work this paper cites.
The beginnings of the theory of Hopf algebras
Andruskiewitsch, N., Ferrer Santos, W.: · 2009
Earlier work this paper cites.
The structure of first-order causality
Mimram, S.: · 2009
Earlier work this paper cites.
A bialgebraic approach to automata and formal language theory
Worthington, J.: · 2009
Earlier work this paper cites.
Graph states and the necessity of Euler decomposition
Duncan, R., Perdrix, S.: · 2009
Earlier work this paper cites.
Rewriting measurement-based quantum computations with generalised flow
Duncan, R., Perdrix, S.: · 2010
Earlier work this paper cites.
Autonomous categories in which
Selinger, P.: · 2010
Earlier work this paper cites.
Interacting quantum observables: Categorical algebra and diagrammatics
Coecke, B., Duncan, R.: · 2011
Earlier work this paper cites.
A connector algebra for P/T nets interactions
Bruni, R., Melgratti, H., Montanari, U.: · 2011
Cited alongside, same era.
A survey of graphical languages for monoidal categories
Selinger, P.: · 2011
Cited alongside, same era.
Iterated distributive laws
Cheng, E.: · 2011
Cited alongside, same era.
Strong complementarity and non-locality in categorical quantum mechanics
Coecke, B., Duncan, R., Kissinger, A., Wang, Q.: · 2012
Cited alongside, same era.
Some graphical aspects of Frobenius algebras
Fauser, B.: · 2013
Cited alongside, same era.
The Frobenius anatomy of word meanings i: subject and object relative pronouns
Sadrzadeh, M., Clark, S., Coecke, B.: · 2013
Cited alongside, same era.
The zx-calculus is incomplete for quantum mechanics
de Witt, C.S., Zamdzhiev, V.: · 2014
Later among the works it cites.
Verifying the Steane code with Quantomatic
Duncan, R., Lucas, M.: · 2014
Later among the works it cites.
Depicting qudit quantum mechanics and mutually unbiased qudit theories
Ranchin, A.: · 2014
Later among the works it cites.
Complete set of circuit equations for stabilizer quantum mechanics
Ranchin, A., Coecke, B.: · 2014
Later among the works it cites.
Qutrit dichromatic calculus and its universality
Wang, Q., Bian, X.: · 2014
Later among the works it cites.
Categories in control
Baez, J.C., Erbele, J.: · 2014
Later among the works it cites.
A categorical semantics of signal flow graphs
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Coecke, B., Duncan, R.: · 2013
Cited alongside, same era.
A graphical approach to measurement-based quantum computing
Duncan, R.: · 2013
Cited alongside, same era.
Completely positive projections and biproducts
Heunen, C., Kissinger, A., Selinger, P.: · 2013
Cited alongside, same era.
Nets, relations and linking diagrams
Sobociński, P.: · 2013
Cited alongside, same era.
A new description of orthogonal bases
Coecke, B., Pavlovic, D., Vicary, J.: · 2013
Cited alongside, same era.
Bonchi, F., Sobociński, P., Zanasi, F.: · 2014
Cited alongside, same era.
Bonchi, F., Sobociński, P., Zanasi, F.: · 2014
Later among the works it cites.
Interacting bialgebras are Frobenius
Bonchi, F., Sobociński, P., Zanasi, F.: · 2014
Later among the works it cites.
Pivoting makes the zx-calculus complete for real stabilizers
Duncan, R., Perdrix, S.: · 2014
Later among the works it cites.
Making the stabilizer zx-calculus complete for scalars
Backens, M.: · 2015
Later among the works it cites.
A complete graphical calculus for Spekkens’ toy bit theory
Backens, M., Duman, A.N.: · 2015
Later among the works it cites.
Generalised compositional theories and diagrammatic reasoning
Coecke, B., Duncan, R., Kissinger, A., Wang, Q.: · 2015
Later among the works it cites.
Categorical semantics for Schrödinger’s equation
Gogioso, S.: · 2015
Later among the works it cites.
Fourier transforms from strongly complementary observables
Gogioso, S., Zeng, W.: · 2015
Later among the works it cites.
Mermin non-locality in abstract process theories
Gogioso, S., Zeng, W.: · 2015
Later among the works it cites.
The ZX calculus is incomplete for Clifford+T quantum mechanics
Perdrix, S., Wang, Q.: · 2015
Later among the works it cites.