Monoidal reverse differential categories (Q5889303): Difference between revisions

@@ Property / author @@
+Dorette Pronk
@@ Property / author: Dorette Pronk / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CHAD
@@ Property / describes a project that uses: CHAD / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Differential categories revisited
@@ Property / cites work: Differential categories revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Differential categories
@@ Property / cites work: Differential categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3552029
@@ Property / cites work: Q3552029 / rank @@
+Normal rank
@@ Property / cites work @@
+Cartesian Differential Storage Categories
@@ Property / cites work: Cartesian Differential Storage Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Differential structure, tangent structure, and SDG
+Normal rank
@@ Property / cites work @@
+Q5874204
@@ Property / cites work: Q5874204 / rank @@
+Normal rank
@@ Property / cites work @@
+Cartesian integral categories and contextual integral categories
+Normal rank
@@ Property / cites work @@
+Linearizing Combinators
@@ Property / cites work: Linearizing Combinators / rank @@
+Normal rank
@@ Property / cites work @@
+Interacting Quantum Observables
@@ Property / cites work: Interacting Quantum Observables / rank @@
+Normal rank
@@ Property / cites work @@
+Integral and differential structure on the free $C^{\infty}$-ring modality
+Normal rank
@@ Property / cites work @@
+Hypergraph categories
@@ Property / cites work: Hypergraph categories / rank @@
+Normal rank
@@ Property / cites work @@
+Cartesian differential categories as skew enriched categories
+Normal rank
@@ Property / cites work @@
+A Diagrammatic Axiomatisation for Qubit Entanglement
+Normal rank
@@ Property / cites work @@
+Categories for Quantum Theory
@@ Property / cites work: Categories for Quantum Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Finite products are biproducts in a compact closed category
+Normal rank
@@ Property / cites work @@
+Q4499228
@@ Property / cites work: Q4499228 / rank @@
+Normal rank
@@ Property / cites work @@
+Glueing and orthogonality for models of linear logic
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted Relational Models of Typed Lambda-Calculi
+Normal rank
@@ Property / cites work @@
+Convenient antiderivatives for differential linear categories
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal Grothendieck construction
@@ Property / cites work: Monoidal Grothendieck construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144610
@@ Property / cites work: Q5144610 / rank @@
+Normal rank
@@ Property / cites work @@
+Applying quantitative semantics to higher-order quantum computing
+Normal rank
@@ Property / cites work @@
+On a Fully Abstract Model for a Quantum Linear Functional Language
+Normal rank
@@ Property / cites work @@
+Framed bicategories and monoidal fibrations
@@ Property / cites work: Framed bicategories and monoidal fibrations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5028428
@@ Property / cites work: Q5028428 / rank @@
+Normal rank
@@ Property / cites work @@
+A categorical framework for the quantum harmonic oscillator
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5889303