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

816	S.: Categories for the working mathematician - Lane - 1998
216	Braided tensor categories - Joyal, Street
152	Traced monoidal categories - Joyal, Street, et al. - 1996
124	The geometry of tensor calculus - Joyal, Street - 1991
122	A categorical semantics of quantum protocols - Abramsky, Coecke - 2004
116	Higher-Dimensional Algebra and Topological Quantum Field Theory - Baez, Dolan - 1995
108	3-Autonomous Categories - Barr - 1980
103	Weakly Distributive Categories, in - Cockett, Seely - 1992
98	An invariant of regular isotopy - Kauffman - 1990
94	Coherence for Compact Closed Categories - Kelly, Laplaza - 1980
69	Braided Compact Closed Categories with Applications to Low Dimensional Topology - Freyd, Yetter - 1989
64	Natural deduction and coherence for weakly distributive categories - Blute, Cockett, et al. - 1996
61	Models of Sharing Graphs: A Categorical Semantics of let and letrec - Hasegawa - 1997
55	Natural associativity and commutativity - Lane - 1963
52	Dagger compact closed categories and completely positive maps - Selinger - 2007
45	Application to Negative Dimensional Tensors - Penrose
30	Tortile tensor categories - Shum - 1994
23	Towards a new algebraic foundation of flowchart scheme theory - Căzănescu, S¸tefănescu - 1990
21	An abstract approach to coherence - Kelly - 1972
19	Spherical Categories - Barrett, Westbury - 1993
18	Coherence theorems via knot theory - Freyd, Yetter - 1992
15	Feedback and generalized logic - Bainbridge - 1976
6	Planar diagrams and tensor algebra. Unpublished manuscript, available from Ross Street’s website - Joyal, Street - 1988
5	An algebraic theory of flowchart schemes - S¸tefănescu
4	Axiomatizing schemes and their behaviors - Bloom, Ésik - 1985
4	Identities in iterative and rational algebraic theories - Ésik - 1980
3	Feedback, iteration and repetition - Căzănescu, S¸tefănescu - 1995
2	Introduction to bicategories, part I - Bénabou - 1967
2	On context-free trees - Căzănescu - 1985
2	Again on advice on structuring compilers and proving them correct - Căzănescu, Ungureanu - 1982
2	Identities in iterative and rational algebraic theories. Computational Linguistics and Computer Languages, XIV:183–207 - Ésik - 1980
2	The geometry of tensor calculus II. Unpublished draft, available from Ross Street’s website - Joyal, Street
2	English translation: Knot Theory, BCS Associates - Springer, Berlin - 1932