Peer-reviewedLicence not statedJournal of Geometry and Physics
Synthetic geometry of differential equations: I. Jets and comonad structure
- 1Institute of Mathematics, Czech Academy of Sciences, Žitná 25, 110 00 Prague 1, Czech Republic
- 2Division of Science & Center for Quantum and Topological Systems, New York University, Abu Dhabi, United Arab Emirates
Related
- Synthetic Differential Geometry in Lean
- Mohsen Hachtroudi and the Geometry of Differential Equations
- The Priority-Axis Z-Algebra: A Unified Framework of Axioms, Structure Theory, and Intrinsic Differential Geometry
- Retro-synthetic Riemannian geometry in Rocq I : Taylor series of a metric
- Automatic cocommutativity for the quantum-group comonad
BibTeX
@article{khavkine2026synthetic,
title = {{Synthetic geometry of differential equations: I. Jets and comonad structure}},
author = {Igor Khavkine and Urs Schreiber},
journal = {Journal of Geometry and Physics},
year = {2026},
month = oct,
doi = {10.1016/j.geomphys.2026.106025},
url = {https://arxiv.org/abs/1701.06238},
}
RIS
TY - JOUR
TI - Synthetic geometry of differential equations: I. Jets and comonad structure
AU - Igor Khavkine
AU - Urs Schreiber
PY - 2026
DA - 2026/10/15
JO - Journal of Geometry and Physics
DO - 10.1016/j.geomphys.2026.106025
UR - https://arxiv.org/abs/1701.06238
SN - 0393-0440
SN - 1879-1662
ER -