Entanglement of sections: the pushout of entangled and parameterized quantum information
From MaRDI portal
Cites work
- A categorical quantum logic
- Categories for Quantum Theory
- Categories with sums and right distributive tensor product
- Cohomology of local systems
- Connections and parallel transport
- Enriched indexed categories
- Equations différentielles à points singuliers réguliers
- Exterior tensor product of perverse sheaves
- Fibered categories and the foundations of naive category theory
- From proof-nets to bordisms: the geometric meaning of multiplicative connectives
- Groupoids: unifying internal and external symmetry. A tour through some examples.
- scientific article; zbMATH DE number 1579275 (Why is no real title available?)
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 51906 (Why is no real title available?)
- scientific article; zbMATH DE number 3478081 (Why is no real title available?)
- scientific article; zbMATH DE number 3524443 (Why is no real title available?)
- scientific article; zbMATH DE number 3594275 (Why is no real title available?)
- scientific article; zbMATH DE number 1822310 (Why is no real title available?)
- scientific article; zbMATH DE number 3235051 (Why is no real title available?)
- scientific article; zbMATH DE number 3257143 (Why is no real title available?)
- scientific article; zbMATH DE number 3297895 (Why is no real title available?)
- scientific article; zbMATH DE number 3308956 (Why is no real title available?)
- scientific article; zbMATH DE number 3358760 (Why is no real title available?)
- scientific article; zbMATH DE number 3363718 (Why is no real title available?)
- scientific article; zbMATH DE number 3399453 (Why is no real title available?)
- scientific article; zbMATH DE number 970065 (Why is no real title available?)
- Limits in free coproduct completions
- Linear logic
- On bifibrations of model categories
- On bunched typing
- Parallel transport and functors
- Physics, Topology, Logic and Computation: A Rosetta Stone
- Picturing quantum processes. A first course in quantum theory and diagrammatic reasoning
- Quantales and (noncommutative) linear logic
- Regular and exact completions
- Sheaves in topology
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- Tensor categories
- The Grothendieck construction for model categories
- The Logic of Bunched Implications
- The quantum monadology
- The semantics and proof theory of the logic of bunched implications
- Topological quantum gates in homotopy type theory
This page was built for publication: Entanglement of sections: the pushout of entangled and parameterized quantum information
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7249879)