A convenient differential category
From MaRDI portal
Recommendations
Cited in
(25)- The shuffle quasimonad and modules with differentiation and integration
- Differential algebras in codifferential categories
- Differential structure, tangent structure, and SDG
- Exponential functions in Cartesian differential categories
- Reverse AD at higher types: pure, principled and denotationally correct
- Differential categories revisited
- Cartesian differential categories revisited
- A simply typed -calculus of forward automatic differentiation
- Differential categories
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- Mackey-complete spaces and power series -- a topological model of differential linear logic
- On Banach spaces of sequences and free linear logic exponential modality
- Integral categories and calculus categories
- Affine geometric spaces in tangent categories
- scientific article; zbMATH DE number 1828019 (Why is no real title available?)
- Jets and differential linear logic
- Linearizing combinators
- Linear logic in normed cones: probabilistic coherence spaces and beyond
- Cofree coalgebras and differential linear logic
- Convenient antiderivatives for differential linear categories
- Models of Linear Logic based on the Schwartz \varepsilon-product
- Jacobians and gradients for Cartesian differential categories
- Tropical mathematics and the lambda-calculus I: metric and differential analysis of effectful programs
- Laplace distributors and Laplace transformations for differential categories
- An axiomatics and a combinatorial model of creation/annihilation operators
This page was built for publication: A convenient differential category
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4904081)
