Differential categories
DOI10.1017/S0960129506005676zbMATH Open1115.03092MaRDI QIDQ3419787FDOQ3419787
R. A. G. Seely, Richard Blute, J. R. B. Cockett
Publication date: 7 February 2007
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Recommendations
- Differential categories revisited
- Cartesian differential categories
- On differential graded categories
- Differential restriction categories
- Differential Tannakian categories
- A convenient differential category
- scientific article; zbMATH DE number 4071908
- Cartesian differential categories revisited
- Categories of modules with differentials
- scientific article; zbMATH DE number 720877
linear logiccomonaddifferential categorycategorical modelcoherence spacesdifferential combinatorcoKleisli categorydifferential \(\lambda\)-calculusadditive symmetric monoidal categorystorage modality
Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Cited In (48)
- Diagrammatic differentiation for quantum machine learning
- Title not available (Why is that?)
- Modeling linear logic with implicit functions
- Cartesian differential categories as skew enriched categories
- Constructing Differential Categories and Deconstructing Categories of Games
- Title not available (Why is that?)
- Title not available (Why is that?)
- Differential algebras in codifferential categories
- Title not available (Why is that?)
- Title not available (Why is that?)
- The shuffle quasimonad and modules with differentiation and integration
- A linear category of polynomial diagrams
- Differential interaction nets
- Cartesian differential categories
- Jets and differential linear logic
- Categorical models of the differential \(\lambda\)-calculus revisited
- Smooth coalgebra: testing vector analysis
- Cartesian integral categories and contextual integral categories
- Differential categories revisited
- Convenient antiderivatives for differential linear categories
- Monoidal reverse differential categories
- Hypernormalisation in an abstract setting
- Exponential functions in Cartesian differential categories
- Differential restriction categories
- Title not available (Why is that?)
- Categorical Models for Simply Typed Resource Calculi
- Title not available (Why is that?)
- Title not available (Why is that?)
- Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
- The linear-non-linear substitution 2-monad
- Affine geometric spaces in tangent categories
- Categorical semantics of a simple differential programming language
- Linearizing Combinators
- Quantum computation: from a programmer's perspective
- A Tangent Category Alternative to the Fa\`a di Bruno Construction
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- Title not available (Why is that?)
- What is a categorical model of the differential and the resource \(\lambda \)-calculi?
- Mackey-complete spaces and power series – a topological model of differential linear logic
- A categorical framework for the quantum harmonic oscillator
- Cofree coalgebras and differential linear logic
- Integral categories and calculus categories
- Models of Linear Logic based on the Schwartz $\varepsilon$-product
- Deriving DG categories
- Weighted models for higher-order computation
- Cartesian differential categories revisited
- Title not available (Why is that?)
- Finiteness spaces and generalized power series
This page was built for publication: Differential categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3419787)
