A survey of graphical languages for monoidal categories

A survey of graphical languages for monoidal categories

Cached

Download Links

by Peter Selinger

Citations:

BibTeX

@MISC{Selinger_asurvey,
    author = {Peter Selinger},
    title = {A survey of graphical languages for monoidal categories},
    year = {}
}

Bookmark

OpenURL

Abstract

Citations

815	Categories for the Working Mathematician - Lane - 1971
215	Braided tensor categories - Joyal, Street - 1993
150	Traced monoidal categories - Joyal, Street, et al. - 1996
122	The Geometry of Tensor Calculus - Joyal, Street - 1991
119	A Categorical Semantics of Quantum Protocols - Abramsky, Coecke
115	High-dimensional Algebra and Topological Quantum Field Theory, JMP 36 6703-6105. Arxiv: q-alg/9503002 - Baez, Dolan
107	Autonomous Categories - Barr - 1979
102	Weakly distributive categories - Cockett, Seely - 1997
97	An invariant of regular isotopy - Kauffman - 1990
92	Coherence for Compact Closed Categories - Kelly, Laplaza - 1980
69	Braided Compact Closed Categories with Applications to Low Dimensional Topology - Freyd, Yetter - 1989
63	Natural deduction and coherence for weakly distributive categories - Blute, Cockett, et al. - 1996
60	Models of Sharing Graphs: A Categorical Semantics of let and letrec - Hasegawa - 1997
54	Natural associativity and commutativity - Lane - 1963
50	Dagger Compact Closed Categories and Completely Positive Maps - Selinger
43	Applications of negative dimensional tensors - Penrose - 1971
29	Tortile tensor categories - Shum - 1994
27	Braided monoidal categories - Joyal, Street - 1986
22	Towards a new algebraic foundation of flowchart scheme theory - Căzănescu, S¸tefănescu - 1990
20	An abstract approach to coherence - Kelly - 1972
18	Spherical categories - Barrett, Westbury - 1999
17	Coherence theorems via knot theory - Freyd, Yetter - 1992
14	Feedback and generalized logic - Bainbridge - 1976
5	Planar diagrams and tensor algebra. Unpublished manuscript, available from Ross Street’s website - Joyal, Street - 1988
4	An algebraic theory of flowchart schemes - S¸tefănescu
4	Identities in iterative and rational algebraic theories - Ésik - 1980
3	Axiomatizing schemes and their behaviors - Bloom, Ésik - 1985
2	Feedback, iteration and repetition - Căzănescu, S¸tefănescu - 1995
1	Introduction to bicategories, part I - Bénabou - 1967
1	On context-free trees - Căzănescu - 1985
1	Again on advice on structuring compilers and proving them correct - Căzănescu, Ungureanu - 1982
1	Identities in iterative and rational algebraic theories. Computational Linguistics and Computer Languages, XIV:183–207 - Ésik - 1980
1	The geometry of tensor calculus II. Unpublished draft, available from Ross Street’s website - Joyal, Street
1	English translation: Knot Theory, BCS Associates - Springer, Berlin - 1932