Pages that link to "Item:Q1146248"
From MaRDI portal
The following pages link to Coherence for compact closed categories (Q1146248):
Displaying 50 items.
- Interacting Hopf algebras (Q308156) (← links)
- Pictures of complete positivity in arbitrary dimension (Q320199) (← links)
- Causal categories: relativistically interacting processes (Q352872) (← links)
- Symmetry, compact closure and dagger compactness for categories of convex operational models (Q358688) (← links)
- Shadows and traces in bicategories (Q382402) (← links)
- Picturing classical and quantum Bayesian inference (Q383002) (← links)
- Monoidal computer. I: Basic computability by string diagrams (Q385721) (← links)
- Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus (Q388206) (← links)
- Lie algebras in symmetric monoidal categories (Q392741) (← links)
- Traces in symmetric monoidal categories (Q404679) (← links)
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- Musings around the geometry of interaction, and coherence (Q534708) (← links)
- Probabilities, distribution monads, and convex categories (Q549198) (← links)
- On natural transformations of distinguished functors and their superpositions in certain closed categories (Q579398) (← links)
- A new duality theory for compact groups (Q582401) (← links)
- Coherence for categories with group structure: An alternative approach (Q594185) (← links)
- Resource modalities in tensor logic (Q636303) (← links)
- Probabilistic systems coalgebraically: a survey (Q639648) (← links)
- Linear logic, coherence and dinaturality (Q685406) (← links)
- Clifford and Graßmann Hopf algebras via the BIGEBRA package for Maple (Q709786) (← links)
- Sentence entailment in compositional distributional semantics (Q722091) (← links)
- Invariant tensors and the cyclic sieving phenomenon (Q727202) (← links)
- A link between quantum logic and categorical quantum mechanics (Q732298) (← links)
- Matrices, relations, and group representations (Q757580) (← links)
- Topological-like features in diagrammatical quantum circuits (Q934769) (← links)
- Quantum circuit oracles for abstract machine computations (Q960862) (← links)
- A categorical framework for the quantum harmonic oscillator (Q1008298) (← links)
- Graphical reasoning in compact closed categories for quantum computation (Q1044227) (← links)
- Cartesian bicategories. I (Q1098929) (← links)
- Examples of non-monadic structures on categories (Q1140707) (← links)
- Center and trace (Q1148984) (← links)
- Kohaerenz in Kategorien mit Gruppenstruktur (Q1158238) (← links)
- The geometry of tensor calculus. I (Q1175729) (← links)
- Coherence theorems via knot theory (Q1183358) (← links)
- Natural transformations of the superpositions of distinguished functors in certain closed categories (Q1270459) (← links)
- Spherical categories (Q1290947) (← links)
- Tortile tensor categories (Q1321051) (← links)
- State-sum invariants of 3-manifolds associated to Artinian semisimple tortile categories (Q1330405) (← links)
- \(*\)-autonomous categories of bimodules (Q1345016) (← links)
- Glueing and orthogonality for models of linear logic (Q1398466) (← links)
- Frobenius structures over Hilbert \(C^*\)-modules (Q1664329) (← links)
- String diagrams for traced and compact categories are oriented 1-cobordisms (Q1684755) (← links)
- On Hopf adjunctions, Hopf monads and Frobenius-type properties (Q1701170) (← links)
- The Morita theory of quantum graph isomorphisms (Q1720201) (← links)
- Category theoretic representations of knotted graphs in \(S^ 3\) (Q1822801) (← links)
- Braided compact closed categories with applications to low dimensional topology (Q1822802) (← links)
- A Picard-Brauer exact sequence of categorical groups (Q1850109) (← links)
- Tangles and Hopf algebras in braided categories (Q1892307) (← links)
- Linear Läuchli semantics (Q1919529) (← links)
- Simple free star-autonomous categories and full coherence (Q1936110) (← links)
