The geometry of tensor calculus. I

DOI10.1016/0001-8708(91)90003-PzbMATH Open0738.18005WikidataQ55919892 ScholiaQ55919892MaRDI QIDQ1175729FDOQ1175729

Authors: André Joyal, Ross H. Street 

Publication date: 25 June 1992

Published in: Advances in Mathematics (Search for Journal in Brave)

Recommendations

• Tortile tensor categories
• Categories for the Practising Physicist
• Abstract tensor systems as monoidal categories
• Braided tensor categories
• FEYNMAN DIAGRAMS VIA GRAPHICAL CALCULUS

zbMATH Keywords

networksFeynman diagramsPetri netsvaluationmonoidal categorytensor categorybraided tensor categoriesflow chartsribbonscontinuous deformationabstract diagramsbalanced tensor categorycircuit diagramsembedded diagramsfree tensor categoriesisotopy classesplanar diagrams of knots or linksplane diagramsymmetric tensor categories

Mathematics Subject Classification ID

Relations of low-dimensional topology with graph theory (57M15) Graphs, diagram schemes, precategories (18A10)

Cites Work

• A polynomial invariant for knots via von Neumann algebras
• A new polynomial invariant of knots and links
• Ribbon graphs and their invariants derived from quantum groups
• Quantum groups
• Title not available (Why is that?)
• Title not available (Why is that?)
• Theory of braids
• Title not available (Why is that?)
• On MacLane's conditions for coherence of natural associativities, commutativities, etc
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hodge cycles, motives, and Shimura varieties
• Combinatorial problems of commutation and rearrangements
• Coherence for compact closed categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Tortile tensor categories
• Title not available (Why is that?)
• Kan extensions in enriched category theory
• Categories tannakiennes
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Limits indexed by category-valued 2-functors
• Braided compact closed categories with applications to low dimensional topology
• Title not available (Why is that?)
• Coherence for bicategories and indexed categories
• Category theoretic representations of knotted graphs in \(S^ 3\)
• A generalization of the functorial calculus
• Title not available (Why is that?)
• A 2-categorical pasting theorem
• Title not available (Why is that?)
• Title not available (Why is that?)
• Categories in which all strong generators are dense
• Tensor products in categories

Cited In (only showing first 100 items - show all)

• The symmetric tensor product on the Drinfeld centre of a symmetric fusion category
• Parallel self-testing of the GHZ state with a proof by diagrams
• 3-dimensional defect TQFTs and their tricategories
• Presenting finite posets
• Bayesian strategies: probabilistic programs as generalised graphical models
• The Drinfeld centre of a symmetric fusion category is 2-fold monoidal
• The graphical calculus for ribbon categories: Algebras, modules, Nakayama automorphisms
• Two-dimensional algebra in lattice gauge theory
• Category theory formulation of the Racah-Wigner calculus
• State sum models with defects based on spherical fusion categories
• Title not available (Why is that?)
• The monoidal structure of Turing machines
• Modular operads and the nerve theorem
• Bicommutant categories from fusion categories
• Gerstenhaber algebra and Deligne's conjecture on the Tate-Hochschild cohomology
• Coxeter categories and quantum groups
• Proof diagrams for multiplicative linear logic: syntax and semantics
• Cartesian integral categories and contextual integral categories
• Weak units, universal cells, and coherence via universality for bicategories
• Can a quantum computer run the von Neumann architecture?
• Composing dinatural transformations: towards a calculus of substitution
• Beyond Bell's theorem. II: Scenarios with arbitrary causal structure
• Petri nets based on Lawvere theories
• Corelations are the prop for extraspecial commutative Frobenius monoids
• Wreaths, mixed wreaths and twisted coactions
• On the monoidal center of Deligne's category \(\mathrm{\underline{Re}{p}}(S_t)\)
• Confluence of graph rewriting with interfaces
• A graphical category for higher modular operads
• A compositional approach to quantum functions
• Graphical calculus for quantum key distribution (extended abstract)
• Quantomatic: a proof assistant for diagrammatic reasoning
• Tensors, !-graphs, and non-commutative quantum structures
• A structural and nominal syntax for diagrams
• Quantum picturalism for topological cluster-state computing
• Abstract tensor systems as monoidal categories
• Quantum Koszul complexes for Majid’s braided Lie algebras
• A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
• Tensors: Asymptotic Geometry and Developments 2016–2018
• Chasing diagrams in cryptography
• The transfer map of free loop spaces
• A variety theorem for relational universal algebra
• Biunitary constructions in quantum information
• Real sets
• Fusion categories via string diagrams
• Geometric stochastic heat equations
• Which abelian tensor categories are geometric?
• Title not available (Why is that?)
• A combinatorial-topological shape category for polygraphs
• String diagrams for regular logic (extended abstract)
• A finite-tame-wild trichotomy theorem for tensor diagrams
• Dragging proofs out of pictures
• Bialgebras in Rel
• On the Rosenberg-Zelinsky sequence in abelian monoidal categories
• Combinatorial characterization of upward planarity
• Disintegration and Bayesian inversion via string diagrams
• Heisenberg-picture quantum field theory
• A practical type theory for symmetric monoidal categories
• A graphical calculus for semi-groupal categories
• A general state-sum construction of 2-dimensional topological quantum field theories with defects
• Diagram groups are totally orderable.
• Representations of fusion categories and their commutants
• Generalized Kuperberg invariants of 3-manifolds
• The Tannaka representation theorem for separable Frobenius functors
• On Hopf Algebras and Their Generalizations
• Feedback for linearly distributive categories: Traces and fixpoints
• Coherent confluence modulo relations and double groupoids
• A Graphical Foundation for Schedules
• The geometry of unitary 2-representations of finite groups and their 2-characters
• The quantum double and related constructions
• Diagram categories for \(\mathrm{U}_q\)-tilting modules at roots of unity
• Sums over graphs and integration over discrete groupoids
• On braid statistics and noncommutative calculus
• Non-cyclotomic fusion categories
• Title not available (Why is that?)
• Topological-like features in diagrammatical quantum circuits
• A classical propositional logic for reasoning about reversible logic circuits
• Differential categories revisited
• Open-graphs and monoidal theories
• Proof nets and semi-star-autonomous categories
• Some Domain Theory and Denotational Semantics in Coq
• State sum construction of two-dimensional topological quantum field theories on spin surfaces
• GENERALIZED BARRETT–CRANE VERTICES AND INVARIANTS OF EMBEDDED GRAPHS
• What is a free double category like?
• Von Neumann categories
• Title not available (Why is that?)
• Calculating Colimits Compositionally
• Title not available (Why is that?)
• A graphical foundation for interleaving in game semantics
• A sequence to compute the Brauer group of certain quasi-triangular Hopf algebras.
• Proof nets, coends and the Yoneda isomorphism
• Transmutation theory and rank for quantum braided groups
• Freely adjoining monoidal duals
• A Compositional Framework for Passive Linear Networks
• Trace as an alternative decategorification functor
• A quantum double construction in Rel.
• Reconstruction in braided categories and a notion of commutative bialgebra
• ! and ? – Storage as tensorial strength
• Towards Quantum Field Theory in Categorical Quantum Mechanics
• Quasi-commutative algebras
• Hochschild Homology in a Braided Tensor Category

This page was built for publication: The geometry of tensor calculus. I

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1175729)