Differential categories
From MaRDI portal
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
Cited in
(70)- A categorical framework for the quantum harmonic oscillator
- The shuffle quasimonad and modules with differentiation and integration
- Categorical models of the differential \(\lambda\)-calculus revisited
- Constructing differential categories and deconstructing categories of games
- Differential algebras in codifferential categories
- Exponential functions in Cartesian differential categories
- Finiteness spaces and generalized power series
- Cartesian integral categories and contextual integral categories
- Weighted models for higher-order computation
- Differential categories revisited
- Forms and exterior differentiation in Cartesian differential categories
- Differential restriction categories
- What is a categorical model of the differential and the resource \(\lambda \)-calculi?
- Kähler categories
- Cartesian differential categories revisited
- Constructing Differential Categories and Deconstructing Categories of Games
- Categorical models for simply typed resource calculi
- Cartesian differential categories
- Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
- Modeling linear logic with implicit functions
- Deriving DG categories
- A tangent category alternative to the Faà di Bruno construction
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- Mackey-complete spaces and power series -- a topological model of differential linear logic
- Integral categories and calculus categories
- Affine geometric spaces in tangent categories
- Quantum computation: from a programmer's perspective
- scientific article; zbMATH DE number 1828019 (Why is no real title available?)
- A convenient differential category
- Lifting coalgebra modalities and \textsf{MELL} model structure to Eilenberg-Moore categories
- Jets and differential linear logic
- Lifting coalgebra modalities and IMELL model structure to Eilenberg-Moore categories
- Categorical vector space semantics for Lambek calculus with a relevant modality (extended abstract)
- The linear-non-linear substitution 2-monad
- Categorical semantics of a simple differential programming language
- Why \textsf{FHilb} is not an interesting (co)differential category
- Linearizing combinators
- Modules over monads and operational semantics (expanded version)
- scientific article; zbMATH DE number 7204432 (Why is no real title available?)
- Cofree coalgebras and differential linear logic
- Convenient antiderivatives for differential linear categories
- scientific article; zbMATH DE number 7407795 (Why is no real title available?)
- Models of Linear Logic based on the Schwartz \varepsilon-product
- Cartesian differential storage categories
- Smooth coalgebra: testing vector analysis
- A linear category of polynomial diagrams
- Monoidal reverse differential categories
- scientific article; zbMATH DE number 7779290 (Why is no real title available?)
- Hypernormalisation in an abstract setting
- Differential 2-rigs
- Jacobians and gradients for Cartesian differential categories
- Diagrammatic differentiation for quantum machine learning
- An ultrametric for Cartesian differential categories for Taylor series convergence
- Graded differential categories and graded differential linear logic
- Free commutative monoids in homotopy type theory
- Normed modules and the categorification of integrations, series expansions, and differentiations
- Unifying graded linear logic and differential operators
- Strategies as resource terms, and their categorical semantics
- Laplace distributors and Laplace transformations for differential categories
- Properties and characterisations of cofree Cartesian differential categories
- is for Dialectica
- Combining fixpoint and differentiation theory
- The relational machine calculus
- Differentiable causal computations via delayed trace (extended version)
- Coherent Taylor expansion as a bimonad
- An axiomatics and a combinatorial model of creation/annihilation operators
- Derivations as algebras
- Module-valued ordinary differential equations and structure of solution spaces
- Cartesian differential categories as skew enriched categories
- Differential interaction nets
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)
