Cartesian differential categories
From MaRDI portal
Recommendations
Cited in
(62)- scientific article; zbMATH DE number 7779290 (Why is no real title available?)
- Cartesian differential categories as skew enriched categories
- scientific article; zbMATH DE number 5017295 (Why is no real title available?)
- Directional derivatives and higher order chain rules for abelian functor calculus
- An axiomatic approach to differentiation of polynomial circuits
- Constructing Differential Categories and Deconstructing Categories of Games
- Linearizing combinators
- A convenient differential category
- Cartesian Bicategories II
- Kähler categories
- Differential algebras in codifferential categories
- Differential 2-rigs
- Differentiable causal computations via delayed trace (extended version)
- Categorical differentiation theory and Cauchy continuity
- Categorical models for simply typed resource calculi
- Cartesian differential storage categories
- A tangent category alternative to the Faà di Bruno construction
- A simplicial foundation for differential and sector forms in tangent 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
- Differential structure, tangent structure, and SDG
- A complete equational axiomatisation of partial differentiation
- Cartesian integral categories and contextual integral categories
- The Rosický tangent categories of algebras over an operad
- Differential categories revisited
- Smooth coalgebra: testing vector analysis
- Jacobians and gradients for Cartesian differential categories
- Convenient antiderivatives for differential linear categories
- A coherent differential PCF
- Monoidal reverse differential categories
- Strategies as resource terms, and their categorical semantics
- Exponential functions in Cartesian differential categories
- Categories of Differentiable Polynomial Circuits for Machine Learning
- An ultrametric for Cartesian differential categories for Taylor series convergence
- Graded differential categories and graded differential linear logic
- Cartesian differential Kleisli categories
- A characterization of differential bundles in tangent categories
- 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?)
- Forms and exterior differentiation in Cartesian differential categories
- The difference -calculus: a language for difference categories
- Reverse tangent categories
- Tropical mathematics and the lambda-calculus I: metric and differential analysis of effectful programs
- scientific article; zbMATH DE number 3969695 (Why is no real title available?)
- Affine geometric spaces in tangent categories
- Categorical semantics of a simple differential programming language
- Differential categories
- scientific article; zbMATH DE number 7204432 (Why is no real title available?)
- scientific article; zbMATH DE number 7684599 (Why is no real title available?)
- Latent fibrations: fibrations for categories of partial maps
- Differential bundles in commutative algebra and algebraic geometry
- A simply typed \(\lambda\)-calculus of forward automatic differentiation
- Cofree coalgebras and differential linear logic
- Integral categories and calculus categories
- Integral categories and calculus categories
- Models of Linear Logic based on the Schwartz $\varepsilon$-product
- Properties and characterisations of cofree Cartesian differential categories
- Cartesian differential categories revisited
- Cartesian difference categories
- Combining fixpoint and differentiation theory
This page was built for publication: Cartesian differential categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3552029)
