F. A. Al-Agl
R. Brown
R. Steiner
2002
Multiple categories: the equivalence of a globular and a cubical approach
Advances in Mathematics
170
1
71–118
10.1006/aima.2001.2069
M. Backens
2014
The ZX-calculus is complete for stabilizer quantum mechanics
New Journal of Physics
16
9
093021
10.1088/1367-2630/16/9/093021
K. Bar
A. Kissinger
J. Vicary
The Globular proof assistant
http://ncatlab.org/nlab/show/Globular
M. Batanin
2002
Computads and slices of operads
https://arxiv.org/abs/math/0209035
J. Beck
1969
Distributive laws
Seminar on triples and categorical homology theory
Springer
119–140
10.1007/BFb0083084
J. M. Boardman
R. M. Vogt
1973
Homotopy invariant algebraic structures on topological spaces
Springer
10.1007/978-3-642-54830-7_23
F. Bonchi
P. Sobociński
F. Zanasi
2014
Interacting Bialgebras Are Frobenius
Foundations of Software Science and Computation Structures
Springer
351–365
10.1007/978-3-642-54830-7_23
F. Bonchi
P. Sobocinski
F. Zanasi
2017
Interacting Hopf algebras
Journal of Pure and Applied Algebra
221
1
144 – 184
10.1016/j.jpaa.2016.06.002
R. Brown
P. J. Higgins
1981
On the algebra of cubes
Journal of Pure and Applied Algebra
21
3
233–260
10.1016/0022-4049(81)90018-9
R. Brown
P. J. Higgins
1987
Tensor products and homotopies for ω-groupoids and crossed complexes
Journal of Pure and Applied Algebra
47
1
1–33
10.1016/0022-4049(87)90099-5
R. Brown
P. J. Higgins
R. Sivera
2011
Nonabelian algebraic topology
European Mathematical Society
10.4171/083
M. Buckley
R. Garner
2015
Orientals and cubes, inductively
https://arxiv.org/abs/1509.00618
A. Burroni
1993
Higher-dimensional word problems with applications to equational logic
Theoretical Computer Science
115
1
43–62
10.1016/0304-3975(93)90054-W
B. Coecke
R. Duncan
2008
Interacting quantum observables
Automata, Languages and Programming
Springer
298–310
10.1007/978-3-540-70583-3_25
B. Coecke
A. Kissinger
2017
Picturing quantum processes
Cambridge University Press
To appear
S. E. Crans
1995
Pasting schemes for the monoidal biclosed structure on ω-Cat
Utrecht University
R. Duncan
K. Dunne
2016
Interacting Frobenius Algebras Are Hopf
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science
LICS '16
535–544
10.1145/2933575.2934550
L. Dunn
J. Vicary
2016
Coherence for Frobenius pseudomonoids and the geometry of linear proofs
https://arxiv.org/abs/1601.05372v3
B. Eckmann
P. J. Hilton
1962
Group-like structures in general categories I: multiplications and comultiplications
Mathematische Annalen
145
3
227–255
10.1007/BF01451367
M. Grandis
2009
Directed Algebraic Topology: Models of non-reversible worlds
13
Cambridge University Press
10.1017/CBO9780511657474
Y. Guiraud
2006
The three dimensions of proofs
Annals of Pure and Applied Logic
141
1
266–295
10.1016/j.apal.2005.12.012
A. Hadzihasanovic
2015
A Diagrammatic Axiomatisation for Qubit Entanglement
Logic in Computer Science (LICS), 2015 30th Annual ACM/IEEE Symposium on
IEEE
573–584
10.1109/LICS.2015.59
C. Hermida
2000
Representable multicategories
Advances in Mathematics
151
2
164–225
10.1006/aima.1999.1877
C. Hermida
2001
From coherent structures to universal properties
Journal of Pure and Applied Algebra
165
1
7–61
10.1016/S0022-4049(01)00008-1
C. Heunen
J. Vicary
2012
Lectures on categorical quantum mechanics
Computer Science Department. Oxford University
R. Hinze
D. Marsden
2016
Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers
Journal of Logical and Algebraic Methods in Programming
10.1016/j.jlamp.2015.12.004
S. Lack
2004
Composing PROPs
Theory and Applications of Categories
13
9
147–163
Y. Lafont
2007
Algebra and geometry of rewriting
Applied Categorical Structures
15
4
415–437
10.1007/s10485-007-9083-6
Y. Lafont
F. Métayer
2009
Polygraphic resolutions and homology of monoids
Journal of Pure and Applied Algebra
213
6
947–968
10.1016/j.jpaa.2008.10.005
S. MacLane
1963
Natural associativity and commutativity
Rice Institute Pamphlet-Rice University Studies
49
4
M. Makkai
2005
The word problem for computads
Available on the author's web page http://www.math.mcgill.ca/makkai/
M. Markl
2008
Operads and PROPS
Handbook of Algebra
5
87–140
10.1016/S1570-7954(07)05002-4
M. Markl
S. Shnider
J. D. Stasheff
2007
Operads in algebra, topology and physics
96
American Mathematical Soc.
10.1090/surv/096
F. Métayer
2003
Resolutions by polygraphs
Theory and Applications of Categories
11
7
148–184
S. Mimram
2014
Towards 3-dimensional rewriting theory
https://arxiv.org/abs/1410.2901
J.H.H. Perk
H. Au-Yang
2006
Yang-Baxter equations
https://arxiv.org/abs/math-ph/0606053
P. Selinger
2011
Finite dimensional Hilbert spaces are complete for dagger compact closed categories
Electronic Notes in Theoretical Computer Science
270
1
113–119
10.1016/j.entcs.2011.01.010
P. Selinger
2011
A survey of graphical languages for monoidal categories
New structures for physics
Springer
289–355
R. Steiner
2004
Omega-categories and chain complexes
Homology, Homotopy and Applications
6
1
175–200
10.4310/HHA.2004.v6.n1.a12
R. Street
1976
Limits indexed by category-valued 2-functors
Journal of Pure and Applied Algebra
8
2
149–181
10.1016/0022-4049(76)90013-X
R. Street
1987
The algebra of oriented simplexes
Journal of Pure and Applied Algebra
49
3
283–335
10.1016/0022-4049(87)90137-X
A. A. Tubella
A. Guglielmi
2016
Subatomic Proof Systems
Available on the author's web page http://alessio.guglielmi.name/res/cos/
I. Weiss
2011
From operads to dendroidal sets
Mathematical foundations of quantum field theory and perturbative string theory
83
31–70
10.1090/pspum/083/2742425
W. Zeng
2015
The Abstract Structure of Quantum Algorithms
https://arxiv.org/abs/1512.08062