The geometry of tensor calculus. I

From MaRDI portal

Publication:1175729

Jump to:navigation, search

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

networks Petri nets Feynman diagrams monoidal category valuation symmetric tensor categories tensor category braided tensor categories flow charts ribbons continuous deformation abstract diagrams balanced tensor category circuit diagrams embedded diagrams free tensor categories isotopy classes planar diagrams of knots or links plane diagram

Mathematics Subject Classification ID

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

Related Items

Coincidence invariants and higher Reidemeister traces, State-sum invariants of 3-manifolds associated to Artinian semisimple tortile categories, Bicommutant categories from fusion categories, Yetter-Drinfeld modules for crossed structures., Algebraic Kan extensions along morphisms of internal algebra classifiers, Braided groups, Cartesian integral categories and contextual integral categories, On braid statistics and noncommutative calculus, Coherent confluence modulo relations and double groupoids, Modular transformations for tensor categories, Higher categories, strings, cubes and simplex equations, Pictures of complete positivity in arbitrary dimension, A mathematical theory of resources, Double construction for monoidal categories, Sums over graphs and integration over discrete groupoids, Semantics of higher-order quantum computation via geometry of interaction, Causal categories: relativistically interacting processes, Avoiding the axiom of choice in general category theory, Tensors, !-graphs, and non-commutative quantum structures, Real sets, Wreaths, mixed wreaths and twisted coactions, Reconstruction in braided categories and a notion of commutative bialgebra, Natural deduction and coherence for weakly distributive categories, A categorification of quantum \(\mathfrak{sl}(2)\), Duality and defects in rational conformal field theory, Shadows and traces in bicategories, Internal diagrams and archetypal reasoning in category theory, Picturing classical and quantum Bayesian inference, Diagram categories for \(\mathrm{U}_q\)-tilting modules at roots of unity, Monoidal computer. I: Basic computability by string diagrams, Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus, A combinatorial-topological shape category for polygraphs, Modular operads and the nerve theorem, A finite-tame-wild trichotomy theorem for tensor diagrams, A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics, Traces in symmetric monoidal categories, Simple free star-autonomous categories and full coherence, A graphical calculus for semi-groupal categories, Which abelian tensor categories are geometric?, Categorifications from planar diagrammatics, Adjunctions and defects in Landau-Ginzburg models, The geometry of unitary 2-representations of finite groups and their 2-characters, A variety theorem for relational universal algebra, Higher-dimensional algebra. IV: 2-tangles., On cyclic star-autonomous categories, A geometric construction for permutation equivariant categories from modular functors, Orbifolds and topological defects, Generalized counting constraint satisfaction problems with determinantal circuits, A graphical foundation for interleaving in game semantics, Subobject transformation systems, Topological-like features in diagrammatical quantum circuits, Rigidity and defect actions in Landau-Ginzburg models, Trace as an alternative decategorification functor, Bayesian strategies: probabilistic programs as generalised graphical models, Computing the Tutte polynomial of lattice path matroids using determinantal circuits, The symmetric tensor product on the Drinfeld centre of a symmetric fusion category, Multiplier Hopf monoids, On the geometry and algebra of networks with state, Linear logic, coherence and dinaturality, The Tannaka representation theorem for separable Frobenius functors, Modular invariants for group-theoretical modular data. I, A sequence to compute the Brauer group of certain quasi-triangular Hopf algebras., Categorical formulation of finite-dimensional quantum algebras, Constructing the extended Haagerup planar algebra, The Brauer-Picard group of the Asaeda-Haagerup fusion categories, Quasi-commutative algebras, Generalized Kuperberg invariants of 3-manifolds, Composing dinatural transformations: towards a calculus of substitution, Invariant tensors and the cyclic sieving phenomenon, Fixing the functoriality of Khovanov homology, A categorical framework for the quantum harmonic oscillator, 3-dimensional defect TQFTs and their tricategories, Von Neumann categories, A Classical Propositional Logic for Reasoning About Reversible Logic Circuits, Differential categories revisited, A graphical category for higher modular operads, The Drinfeld centre of a symmetric fusion category is 2-fold monoidal, Phase Groups and the Origin of Non-locality for Qubits, Coxeter categories and quantum groups, Combinatorial characterization of upward planarity, Spherical categories, The quantum double and related constructions, Proof diagrams for multiplicative linear logic: syntax and semantics, Heisenberg-picture quantum field theory, Feedback for linearly distributive categories: Traces and fixpoints, TFT construction of RCFT correlators. I: Partition functions, \(q\)-centralizer algebras for spin groups, The formal theory of monads. II, Correspondences of ribbon categories, Tortile Yang-Baxter operators in tensor categories, Batalin-Vilkovisky algebras and two-dimensional topological field theories, Higher algebraic structures and quantization, Quantized Koszul complexes, Tortile tensor categories, Diagram groups and directed 2-complexes: homotopy and homology., Diagram groups are totally orderable., Abstract substitution in enriched categories, Orbifold completion of defect bicategories, A complete graphical calculus for Spekkens' toy bit theory, A categorical model for the geometry of interaction, 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, Concurrent Process Histories and Resource Transducers, Completeness of Nominal PROPs, The ZX-calculus as a language for topological quantum computation, Monoidal Width, Free gs-monoidal categories and free Markov categories, Representations of fusion categories and their commutants, Monoidal categories graded by crossed modules and 3-dimensional HQFTs, A Category of Surface-Embedded Graphs, Monoidal Width: Capturing Rank Width, Promonads and String Diagrams for Effectful Categories, Unnamed Item, Unnamed Item, Unnamed Item, State sum models with defects based on spherical fusion categories, Evaluating TQFT invariants from \(G\)-crossed braided spherical fusion categories via Kirby diagrams with 3-handles, From Gödel's incompleteness theorem to the completeness of bot beliefs (extended abstract), Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Proof nets and semi-star-autonomous categories, Double quantum groups, What is a free double category like?, Monads on tensor categories, Beyond Bell's theorem. II: Scenarios with arbitrary causal structure

Cites Work

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1175729&oldid=12006568"