Differential equations in a tangent category. I: Complete vector fields, flows, and exponentials
DOI10.1007/s10485-021-09629-xzbMath1480.18009arXiv1911.12120OpenAlexW3146761764WikidataQ115384244 ScholiaQ115384244MaRDI QIDQ2231000
G. S. H. Cruttwell, J. Robin B. Cockett, J. S. Lemay
Publication date: 29 September 2021
Published in: Applied Categorical Structures (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1911.12120
differential equationssynthetic differential geometryabstract differential geometrytangent categories
Geometric methods in ordinary differential equations (34A26) Differentiable manifolds, foundations (58A05) Low-dimensional dynamical systems (37E99) Synthetic differential geometry, tangent categories, differential categories (18F40)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Categorical logic and type theory
- A simplicial foundation for differential and sector forms in tangent categories
- Differential structure, tangent structure, and SDG
- Cartesian integral categories and contextual integral categories
- Ordinary differential equations and their exponentials
- On the geometric notion of connection and its expression in tangent categories
- Differential bundles and fibrations for tangent categories
- Affine geometric spaces in tangent categories
- An Introduction to the Geometrical Analysis of Vector Fields
- Connections in Tangent Categories
This page was built for publication: Differential equations in a tangent category. I: Complete vector fields, flows, and exponentials