Differential categories
From MaRDI portal
Publication:3419787
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
(54)- Modeling linear logic with implicit functions
- scientific article; zbMATH DE number 7779290 (Why is no real title available?)
- Cartesian differential categories as skew enriched categories
- Constructing Differential Categories and Deconstructing Categories of Games
- Linearizing combinators
- A convenient differential category
- scientific article; zbMATH DE number 1828019 (Why is no real title available?)
- Kähler categories
- Differential algebras in codifferential categories
- Differential 2-rigs
- The shuffle quasimonad and modules with differentiation and integration
- Categorical models for simply typed resource calculi
- Cartesian differential storage categories
- A tangent category alternative to the Faà di Bruno construction
- Differential interaction nets
- A linear category of polynomial diagrams
- Cartesian differential categories
- Mackey-complete spaces and power series -- a topological model of differential linear logic
- Categorical models of the differential \(\lambda\)-calculus revisited
- Jets and differential linear logic
- Cartesian integral categories and contextual integral categories
- Differential categories revisited
- Smooth coalgebra: testing vector analysis
- Jacobians and gradients for Cartesian differential categories
- Convenient antiderivatives for differential linear categories
- Monoidal reverse differential categories
- Hypernormalisation in an abstract setting
- Exponential functions in Cartesian differential categories
- Categorical vector space semantics for Lambek calculus with a relevant modality (extended abstract)
- Differential restriction categories
- scientific article; zbMATH DE number 7453172 (Why is no real title available?)
- scientific article; zbMATH DE number 7407795 (Why is no real title available?)
- scientific article; zbMATH DE number 7577567 (Why is no real title available?)
- 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
- Diagrammatic differentiation for quantum machine learning
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- Constructing differential categories and deconstructing categories of games
- scientific article; zbMATH DE number 7204432 (Why is no real title available?)
- 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
- Weighted models for higher-order computation
- Models of Linear Logic based on the Schwartz $\varepsilon$-product
- Deriving DG categories
- 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)
