Pages that link to "Item:Q2015833"
From MaRDI portal
The following pages link to Differential structure, tangent structure, and SDG (Q2015833):
Displayed 27 items.
- Directional derivatives and higher order chain rules for abelian functor calculus (Q684012) (← links)
- A simplicial foundation for differential and sector forms in tangent categories (Q1630584) (← links)
- An embedding theorem for tangent categories (Q1682009) (← links)
- Differential algebras in codifferential categories (Q2001387) (← links)
- Exponential functions in Cartesian differential categories (Q2035864) (← links)
- Vector bundles and differential bundles in the category of smooth manifolds (Q2040887) (← links)
- A complete equational axiomatisation of partial differentiation (Q2133478) (← links)
- Differential equations in a tangent category. I: Complete vector fields, flows, and exponentials (Q2231000) (← links)
- Restriction categories as enriched categories (Q2435310) (← links)
- (Q2964106) (← links)
- Cartesian differential categories revisited (Q2973248) (← links)
- Cocompletion of restriction categories (Q3294959) (← links)
- A Tangent Category Alternative to the Fa\`a di Bruno Construction (Q4555334) (← links)
- TANGENT BUNDLES, MONOIDAL THEORIES AND WEIL ALGEBRAS (Q4576832) (← links)
- On the geometric notion of connection and its expression in tangent categories (Q4585020) (← 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)
- 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)
- The Greenberg Functor is Site Cocontinuous (Q5118810) (← links)
- (Q5155686) (← links)
- Smooth coalgebra: testing vector analysis (Q5361142) (← links)
- Connections in Tangent Categories (Q5364129) (← links)
- Monoidal reverse differential categories (Q5889303) (← links)