Differential categories
DOI10.1017/S0960129506005676zbMATH Open1115.03092MaRDI QIDQ3419787FDOQ3419787
Authors: 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 (53)
- Monoidal reverse differential categories
- Diagrammatic differentiation for quantum machine learning
- Models of Linear Logic based on the Schwartz $\varepsilon$-product
- Title not available (Why is that?)
- Title not available (Why is that?)
- Modeling linear logic with implicit functions
- Cartesian differential categories as skew enriched categories
- Linearizing combinators
- Constructing Differential Categories and Deconstructing Categories of Games
- A convenient differential category
- Title not available (Why is that?)
- Kähler categories
- Differential algebras in codifferential categories
- The shuffle quasimonad and modules with differentiation and integration
- Cartesian differential storage categories
- Categorical models for simply typed resource calculi
- A tangent category alternative to the Faà di Bruno construction
- A linear category of polynomial diagrams
- Differential interaction nets
- Mackey-complete spaces and power series -- a topological model of differential linear logic
- 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
- Hypernormalisation in an abstract setting
- Categorical vector space semantics for Lambek calculus with a relevant modality (extended abstract)
- Exponential functions in Cartesian differential categories
- Differential restriction categories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Forms and exterior differentiation in Cartesian differential categories
- Lifting coalgebra modalities and \textsf{MELL} model structure to Eilenberg-Moore categories
- Lifting coalgebra modalities and IMELL model structure to Eilenberg-Moore categories
- 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
- Quantum computation: from a programmer's perspective
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- Title not available (Why is that?)
- Constructing differential categories and deconstructing categories of games
- What is a categorical model of the differential and the resource \(\lambda \)-calculi?
- A categorical framework for the quantum harmonic oscillator
- Cofree coalgebras and differential linear logic
- Integral categories and calculus categories
- Deriving DG categories
- Weighted models for higher-order computation
- Cartesian differential categories revisited
- 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)
