Pages that link to "Item:Q2864173"

The following pages link to Dagger compact closed categories and completely positive maps (extended abstract) (Q2864173):

Displaying 50 items.

• A complete graphical calculus for Spekkens' toy bit theory (Q262336) (← links)
• Categories with fuzzy sets and relations (Q277341) (← links)
• Natural language semantics in biproduct dagger categories (Q280847) (← links)
• Interacting Hopf algebras (Q308156) (← links)
• Bridging the gap between general probabilistic theories and the device-independent framework for nonlocality and contextuality (Q320197) (← links)
• Pictures of complete positivity in arbitrary dimension (Q320199) (← links)
• Causal categories: relativistically interacting processes (Q352872) (← links)
• Daggers, kernels, Baer *-semigroups, and orthomodularity (Q358684) (← links)
• Symmetry, compact closure and dagger compactness for categories of convex operational models (Q358688) (← links)
• Dagger categories of tame relations (Q382419) (← links)
• Picturing classical and quantum Bayesian inference (Q383002) (← links)
• Categories of rough sets and textures (Q388147) (← links)
• Categories of quantum and classical channels (Q513861) (← links)
• FJQuantum. A quantum object oriented language (Q529648) (← links)
• Categorical formulation of finite-dimensional quantum algebras (Q543370) (← links)
• Sentence entailment in compositional distributional semantics (Q722091) (← links)
• The calculus of signal flow diagrams. I: Linear relations on streams. (Q729807) (← links)
• Von Neumann categories (Q748710) (← links)
• Deligne categories in lattice models and quantum field theory, \textit{or} making sense of O(N) symmetry with non-integer N (Q780789) (← links)
• Topological-like features in diagrammatical quantum circuits (Q934769) (← links)
• Graphical reasoning in compact closed categories for quantum computation (Q1044227) (← links)
• Generalized relations in linguistics \& cognition (Q1628581) (← links)
• Terminality implies no-signalling\dots and much more than that (Q1670505) (← links)
• Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs (Q1701681) (← links)
• A diagrammatic derivation of the Hermitian adjoint (Q1709176) (← links)
• Variations of the shifting lemma and Goursat categories (Q1714486) (← links)
• Division algebras and quantum theory (Q1929299) (← links)
• Higher cyclic operads (Q2000783) (← links)
• A categorical foundation for structured reversible flowchart languages (Q2130590) (← links)
• Reversible effects as inverse arrows (Q2134817) (← links)
• Borel kernels and their approximation, categorically (Q2134827) (← links)
• Semantics of quantum programming languages: Classical control, quantum control (Q2168785) (← links)
• Facets of congruence distributivity in Goursat categories (Q2176088) (← links)
• Coherence for closed categories with biproducts (Q2200954) (← links)
• On the categorical behaviour of \(V\)-groups (Q2207260) (← links)
• Area-dependent quantum field theory (Q2223721) (← links)
• The structure of sum-over-paths, its consequences, and completeness for Clifford (Q2233432) (← links)
• A concrete categorical semantics of lambda-\(\mathcal{S}\) (Q2333669) (← links)
• Complete positivity and natural representation of quantum computations (Q2520702) (← links)
• The CBH characterisation theorem beyond algebraic quantum theory (Q2672237) (← links)
• A compositional framework for Markov processes (Q2798694) (← links)
• Information processing in convex operational theories (Q2825337) (← links)
• Toy quantum categories (extended abstract) (Q2825340) (← links)
• Game semantics for quantum data (Q2825342) (← links)
• Finite dimensional Hilbert spaces are complete for dagger compact closed categories (extended abstract) (Q2825347) (← links)
• Categorical formulation of finite-dimensional \(C^*\)-algebras (Q2825349) (← links)
• Phase groups and the origin of non-locality for qubits (Q2825362) (← links)
• Quantum logic in dagger kernel categories (Q2825365) (← links)
• Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories (Q2825368) (← links)
• Graphical calculus for quantum key distribution (extended abstract) (Q2825376) (← links)