Pages that link to "Item:Q3000920"

The following pages link to Physics, Topology, Logic and Computation: A Rosetta Stone (Q3000920):

Displaying 43 items.

• Bicategorical semantics for nondeterministic computation (Q265831) (← links)
• Interacting Hopf algebras (Q308156) (← links)
• A mathematical theory of resources (Q320201) (← links)
• The expectation monad in quantum foundations (Q320204) (← links)
• Causal categories: relativistically interacting processes (Q352872) (← links)
• Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus (Q388206) (← links)
• The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
• A graphical foundation for interleaving in game semantics (Q479313) (← links)
• Functorial data migration (Q714735) (← links)
• Itsy bitsy topological field theory (Q742789) (← links)
• Deligne categories in lattice models and quantum field theory, \textit{or} making sense of O(N) symmetry with non-integer N (Q780789) (← links)
• A new perspective on intermediate algorithms via the Riemann-Hilbert correspondence (Q1621258) (← links)
• Towards a unified framework for decomposability of processes (Q1708904) (← links)
• Epistemic horizons and the foundations of quantum mechanics (Q1735885) (← links)
• Division algebras and quantum theory (Q1929299) (← links)
• Contrary-to-duty reasoning: a categorical approach (Q2342801) (← links)
• Coends of higher arity (Q2667936) (← links)
• Computing with Semirings and Weak Rig Groupoids (Q2802473) (← links)
• Phase groups and the origin of non-locality for qubits (Q2825362) (← links)
• Symmetry and composition in probabilistic theories (Q2825373) (← links)
• Renormalisation and computation. II: Time cut-off and the halting problem (Q2919937) (← links)
• A diagrammatic definition of \(U_q(\mathfrak{sl}_2)\) (Q2922967) (← links)
• Tangle Machines (Q2945575) (← links)
• Categories for the Practising Physicist (Q3000921) (← links)
• (Q3385626) (← links)
• (Q4529584) (← links)
• A Compositional Framework for Passive Linear Networks (Q4555338) (← links)
• Quantum collections (Q4595314) (← links)
• Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras (Q5014789) (← links)
• (Q5019675) (← links)
• (Q5025081) (← links)
• Interacting quantum observables: categorical algebra and diagrammatics (Q5135836) (← links)
• Congruence Lattices of Ideals in Categories and (Partial) Semigroups (Q5889062) (← links)
• Dilations and information flow axioms in categorical probability (Q6149957) (← links)
• Tensor networks in machine learning (Q6160060) (← links)
• A diagrammatic view of differential equations in physics (Q6195577) (← links)
• Variations on the Choi-Jamiołkowski isomorphism (Q6563006) (← links)
• Bicategorical traces and cotraces (Q6575456) (← links)
• The far side of the cube. An elementary introduction to game semantics (Q6612782) (← links)
• An electrical engineering perspective on naturality in computational physics (Q6624471) (← links)
• Monadic functors forgetful of (dis)inhibited actions (Q6634620) (← links)
• A type theory for strictly unital \(\infty \)-categories (Q6649483) (← links)
• Frobenius and commutative pseudomonoids in the bicategory of spans (Q6655033) (← links)