Fetching the paper…
Reading the bibliography…
This article is intended as a reference guide to various notions of monoidal categories and their associated string diagrams.
Natural associativity and commutativity
S. Mac Lane · 1963
Earlier work this paper cites.
Introduction to bicategories, part I
J. Bénabou · 1967
Earlier work this paper cites.
Categories for the Working Mathematician
S. Mac Lane · 1971
Earlier work this paper cites.
Applications of negative dimensional tensors
R. Penrose · 1971
Earlier work this paper cites.
An abstract approach to coherence
G. M. Kelly · 1972
Earlier work this paper cites.
Categories Tanakiennes
N. Saavedra Rivano · 1972
Earlier work this paper cites.
Feedback and generalized logic
E. S. Bainbridge · 1976
Earlier work this paper cites.
*-Autonomous Categories
M. Barr · 1979
Earlier work this paper cites.
Identities in iterative and rational algebraic theories
Z. Ésik · 1980
Earlier work this paper cites.
Coherence for compact closed categories
G. M. Kelly and M. L. Laplaza · 1980
Earlier work this paper cites.
Again on advice on structuring compilers and proving them correct
V.-E. Căzănescu and C. Ungureanu · 1982
Earlier work this paper cites.
Knotentheorie
K. Reidemeister · 1983
Earlier work this paper cites.
Axiomatizing schemes and their behaviors
S. L. Bloom and Z. Ésik · 1985
Earlier work this paper cites.
On context-free trees
V.-E. Căzănescu · 1985
Earlier work this paper cites.
Braided monoidal categories
A. Joyal and R. Street · 1986
Cited alongside, same era.
An algebraic theory of flowchart schemes
G. Ştefănescu · 1986
Cited alongside, same era.
Feedback theories (a calculus for isomorphism classes of flowchart schemes)
G. Ştefănescu · 1986
Cited alongside, same era.
Towards a new algebraic foundation of flowchart scheme theory
V.-E. Căzănescu and G. Ştefănescu · 1987
Cited alongside, same era.
Linear logic
J.-Y. Girard · 1987
Cited alongside, same era.
On flowchart theories, part I. the deterministic case
G. Ştefănescu · 1987
Cited alongside, same era.
On flowchart theories: Part II. the nondeterministic case
Braided tensor categories
A. Joyal and R. Street · 1993
Later among the works it cites.
Tortile tensor categories
M. C. Shum · 1994
Later among the works it cites.
Algebra of flownomials
G. Ştefănescu · 1994
Later among the works it cites.
Quantum Invariants of Knots and 3-Manifolds
V. G. Turaev · 1994
Later among the works it cites.
Higher-dimensional algebra and topological quantum field theory
J. C. Baez and J. Dolan · 1995
Later among the works it cites.
Low-dimensional topology and higher-order categories
R. Street · 1995
Later among the works it cites.
Natural deduction and coherence for weakly distributive categories
R. F. Blute, J. R. B. Cockett, R. A. G. Seely, and T. H. Trimble · 1996
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
G. Ştefănescu · 1987
Cited alongside, same era.
Feedback, iteration and repetition
V.-E. Căzănescu and G. Ştefănescu · 1988
Cited alongside, same era.
Planar diagrams and tensor algebra
A. Joyal and R. Street · 1988
Cited alongside, same era.
Braided compact closed categories with applications to low dimensional topology
P. J. Freyd and D. N. Yetter · 1989
Cited alongside, same era.
An invariant of regular isotopy
L. H. Kauffman · 1990
Cited alongside, same era.
The geometry of tensor calculus I
A. Joyal and R. Street · 1991
Cited alongside, same era.
Later among the works it cites.
Traced monoidal categories
A. Joyal, R. Street, and D. Verity · 1996
Later among the works it cites.
Weakly distributive categories
J. R. B. Cockett and R. A. G. Seely · 1997
Later among the works it cites.
Models of Sharing Graphs: A Categorical Semantics of let and letrec
M. Hasegawa · 1997
Later among the works it cites.
Spherical categories
J. W. Barrett and B. W. Westbury · 1999
Later among the works it cites.
Network Algebra
G. Ştefănescu · 2000
Later among the works it cites.
A categorical semantics of quantum protocols
S. Abramsky and B. Coecke · 2004
Later among the works it cites.
Dagger compact closed categories and completely positive maps
P. Selinger · 2007
Later among the works it cites.