The following pages link to (Q3552029):
Displayed 37 items.
- Directional derivatives and higher order chain rules for abelian functor calculus (Q684012) (← links)
- Cartesian differential categories as skew enriched categories (Q825992) (← links)
- A simplicial foundation for differential and sector forms in tangent categories (Q1630584) (← links)
- Categorical models of the differential \(\lambda\)-calculus revisited (Q1744378) (← links)
- Differential algebras in codifferential categories (Q2001387) (← links)
- Differential structure, tangent structure, and SDG (Q2015833) (← links)
- Exponential functions in Cartesian differential categories (Q2035864) (← links)
- A complete equational axiomatisation of partial differentiation (Q2133478) (← links)
- Cartesian integral categories and contextual integral categories (Q2134825) (← links)
- Differential categories revisited (Q2307523) (← links)
- Cartesian differential categories revisited (Q2973248) (← links)
- Constructing Differential Categories and Deconstructing Categories of Games (Q3012919) (← links)
- Categorical Models for Simply Typed Resource Calculi (Q3178254) (← links)
- A Simply Typed λ-Calculus of Forward Automatic Differentiation (Q3178288) (← links)
- A Tangent Category Alternative to the Fa\`a di Bruno Construction (Q4555334) (← links)
- Mackey-complete spaces and power series – a topological model of differential linear logic (Q4606699) (← links)
- Integral categories and calculus categories (Q4611199) (← links)
- Affine geometric spaces in tangent categories (Q4632601) (← links)
- Jets and differential linear logic (Q4988427) (← links)
- Latent Fibrations: Fibrations for Categories of Partial Maps (Q5004679) (← links)
- Categorical semantics of a simple differential programming language (Q5019684) (← links)
- (Q5020625) (← links)
- Linearizing Combinators (Q5037747) (← links)
- (Q5111309) (← links)
- Cofree coalgebras and differential linear logic (Q5139287) (← links)
- Convenient antiderivatives for differential linear categories (Q5139291) (← links)
- (Q5155686) (← links)
- Models of Linear Logic based on the Schwartz $\varepsilon$-product (Q5207357) (← links)
- Smooth coalgebra: testing vector analysis (Q5361142) (← links)
- Monoidal reverse differential categories (Q5889303) (← links)
- An axiomatic approach to differentiation of polynomial circuits (Q6052943) (← links)
- (Q6068926) (← links)
- Differential 2-rigs (Q6150153) (← links)
- (Q6153324) (← links)
- A coherent differential PCF (Q6178673) (← links)
- (Q6201715) (← links)
- Categories of Differentiable Polynomial Circuits for Machine Learning (Q6393524) (← links)