The geometry of tensor calculus. I

DOI10.1016/0001-8708(91)90003-PzbMath0738.18005WikidataQ55919892 ScholiaQ55919892MaRDI QIDQ1175729

Ross H. Street, André Joyal

Publication date: 25 June 1992

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

zbMATH Keywords

networksPetri netsFeynman diagramsmonoidal categoryvaluationsymmetric tensor categoriestensor categorybraided tensor categoriesflow chartsribbonscontinuous deformationabstract diagramsbalanced tensor categorycircuit diagramsembedded diagramsfree tensor categoriesisotopy classesplanar diagrams of knots or linksplane diagram

Mathematics Subject Classification ID

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

Related Items (only showing first 100 items - show all)

Transmutation theory and rank for quantum braided groups ⋮ Unnamed Item ⋮ GENERALIZED BARRETT–CRANE VERTICES AND INVARIANTS OF EMBEDDED GRAPHS ⋮ Quantum determinants in ribbon category ⋮ Quantomatic: A Proof Assistant for Diagrammatic Reasoning ⋮ Bialgebras in Rel ⋮ A Graphical Foundation for Schedules ⋮ String diagram rewrite theory II: Rewriting with symmetric monoidal structure ⋮ On Hopf Algebras and Their Generalizations ⋮ A quantum double construction in Rel ⋮ Unnamed Item ⋮ Some Domain Theory and Denotational Semantics in Coq ⋮ String Diagram Rewrite Theory I: Rewriting with Frobenius Structure ⋮ Fusion categories via string diagrams ⋮ Dragging Proofs Out of Pictures ⋮ Freely adjoining monoidal duals ⋮ Weak units, universal cells, and coherence via universality for bicategories ⋮ Yang–Baxter deformations and rack cohomology ⋮ Unnamed Item ⋮ Frobenius monads and pseudomonoids ⋮ Unnamed Item ⋮ Span composition using fake pullbacks ⋮ A practical type theory for symmetric monoidal categories ⋮ Equational Reasoning with Context-Free Families of String Diagrams ⋮ A compositional approach to quantum functions ⋮ Proof Nets, Coends and the Yoneda Isomorphism ⋮ Towards Quantum Field Theory in Categorical Quantum Mechanics ⋮ Categorifying the ZX-calculus ⋮ Unnamed Item ⋮ DisCoPy: Monoidal Categories in Python ⋮ Calculating Colimits Compositionally ⋮ Quantum Koszul complexes for Majid’s braided Lie algebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Integral categories and calculus categories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Traced monoidal categories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A general state-sum construction of 2-dimensional topological quantum field theories with defects ⋮ Two-dimensional algebra in lattice gauge theory ⋮ Interacting quantum observables: categorical algebra and diagrammatics ⋮ Quantum picturalism for topological cluster-state computing ⋮ Confluence of Graph Rewriting with Interfaces ⋮ Unnamed Item ⋮ STATE SUM CONSTRUCTION OF TWO-DIMENSIONAL OPEN-CLOSED TOPOLOGICAL QUANTUM FIELD THEORIES ⋮ The graphical calculus for ribbon categories: Algebras, modules, Nakayama automorphisms ⋮ Can a Quantum Computer Run the von Neumann Architecture? ⋮ Traces for coalgebraic components ⋮ The transfer map of free loop spaces ⋮ Shaded tangles for the design and verification of quantum circuits ⋮ The classification of subfactors of index at most 5 ⋮ A Compositional Framework for Passive Linear Networks ⋮ 𝐶* tensor categories from quantum groups ⋮ Geometric stochastic heat equations ⋮ Abstract Tensor Systems as Monoidal Categories ⋮ Chasing Diagrams in Cryptography ⋮ The monoidal structure of Turing machines ⋮ Open-graphs and monoidal theories ⋮ Bases in Diagrammatic Quantum Protocols ⋮ Graph States and the Necessity of Euler Decomposition ⋮ On the Rosenberg-Zelinsky sequence in abelian monoidal categories ⋮ Tensor Structures Arising from Affine Lie Algebras. IV ⋮ Quantum Speedup and Categorical Distributivity ⋮ A new description of orthogonal bases ⋮ Decorated Corelations ⋮ Hochschild Homology in a Braided Tensor Category ⋮ Props in Network Theory ⋮ FEYNMAN DIAGRAMS VIA GRAPHICAL CALCULUS ⋮ Biunitary constructions in quantum information ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On traced monoidal closed categories ⋮ The structure of first-order causality ⋮ Vector product and composition algebras in braided monoidal additive categories ⋮ Petri nets based on Lawvere theories ⋮ ! and ? – Storage as tensorial strength ⋮ Exploring a Quantum Theory with Graph Rewriting and Computer Algebra ⋮ Invariants of piecewise-linear 3-manifolds ⋮ Graphical Calculus for Quantum Key Distribution (Extended Abstract) ⋮ Unnamed Item ⋮ An Australian Conspectus of Higher Categories ⋮ Gerstenhaber algebra and Deligne’s conjecture on the Tate–Hochschild cohomology ⋮ Traces in monoidal categories ⋮ Non-cyclotomic fusion categories ⋮ On the monoidal center of Deligne's category Re̲p(St) ⋮ The Uniformity Principle on Traced Monoidal Categories ⋮ Disintegration and Bayesian inversion via string diagrams ⋮ Homotopy theory for algebras over polynomial monads ⋮ Corelations are the prop for extraspecial commutative Frobenius monoids ⋮ Dagger Compact Closed Categories and Completely Positive Maps ⋮ General Reversibility ⋮ State sum construction of two-dimensional topological quantum field theories on spin surfaces ⋮ POVMs and Naimark's Theorem Without Sums ⋮ The Hom–Yang–Baxter equation and Hom–Lie algebras

Cites Work

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

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