Pages that link to "Item:Q1175729"
From MaRDI portal
The following pages link to The geometry of tensor calculus. I (Q1175729):
Displaying 50 items.
- Category theory formulation of the Racah-Wigner calculus (Q2736458) (← links)
- The Brauer-Picard group of the Asaeda-Haagerup fusion categories (Q2787972) (← links)
- Pictorial Calculus for Isometries (Q2812193) (← links)
- A Classical Propositional Logic for Reasoning About Reversible Logic Circuits (Q2820684) (← links)
- Phase groups and the origin of non-locality for qubits (Q2825362) (← links)
- Graphical calculus for quantum key distribution (extended abstract) (Q2825376) (← links)
- Traces in monoidal categories (Q2841358) (← links)
- Non-cyclotomic fusion categories (Q2841368) (← links)
- The uniformity principle on traced monoidal categories (Q2842820) (← links)
- Dagger compact closed categories and completely positive maps (extended abstract) (Q2864173) (← links)
- General reversibility (Q2866345) (← links)
- POVMs and Naimark's theorem without sums (Q2870203) (← links)
- A quantum double construction in Rel. (Q2909732) (← links)
- Equational Reasoning with Context-Free Families of String Diagrams (Q2947216) (← links)
- Homotopy theory for algebras over polynomial monads (Q2963473) (← links)
- Corelations are the prop for extraspecial commutative Frobenius monoids (Q2969088) (← links)
- A general state-sum construction of 2-dimensional topological quantum field theories with defects (Q2981807) (← links)
- Confluence of Graph Rewriting with Interfaces (Q2988637) (← links)
- Can a Quantum Computer Run the von Neumann Architecture? (Q3000932) (← links)
- Traces for coalgebraic components (Q3005989) (← links)
- The structure of first-order causality (Q3081323) (← links)
- (Q3096060) (← links)
- Bialgebras in Rel (Q3178263) (← links)
- A Graphical Foundation for Schedules (Q3178289) (← links)
- Some Domain Theory and Denotational Semantics in Coq (Q3183523) (← links)
- Fusion categories via string diagrams (Q3188184) (← links)
- Dragging Proofs Out of Pictures (Q3188284) (← links)
- Yang–Baxter deformations and rack cohomology (Q3190794) (← links)
- (Q3384925) (← links)
- Categorifying the ZX-calculus (Q3384948) (← links)
- (Q3384951) (← links)
- Towards Quantum Field Theory in Categorical Quantum Mechanics (Q3384952) (← links)
- (Q3385626) (← links)
- Petri nets based on Lawvere theories (Q3386752) (← links)
- An Australian Conspectus of Higher Categories (Q3400014) (← links)
- Quantomatic: A Proof Assistant for Diagrammatic Reasoning (Q3454104) (← links)
- Calculating Colimits Compositionally (Q3507390) (← links)
- The graphical calculus for ribbon categories: Algebras, modules, Nakayama automorphisms (Q3549573) (← links)
- Graph States and the Necessity of Euler Decomposition (Q3576049) (← links)
- On the Rosenberg-Zelinsky sequence in abelian monoidal categories (Q3577933) (← links)
- On traced monoidal closed categories (Q3625674) (← links)
- Exploring a Quantum Theory with Graph Rewriting and Computer Algebra (Q3637271) (← links)
- The left derived tensor product of CAT valued diagrams (Q3994004) (← links)
- Tensor Geometry (Q4002166) (← links)
- (Q4029341) (← links)
- GENERALIZED BARRETT–CRANE VERTICES AND INVARIANTS OF EMBEDDED GRAPHS (Q4268055) (← links)
- Tensor Structures Arising from Affine Lie Algebras. IV (Q4292710) (← links)
- Hochschild Homology in a Braided Tensor Category (Q4311359) (← links)
- (Q4324910) (← links)
- Quantum Koszul complexes for Majid’s braided Lie algebras (Q4327300) (← links)