Skip to main content
Log in

Differential Equations in a Tangent Category I: Complete Vector Fields, Flows, and Exponentials

  • Published:
Applied Categorical Structures Aims and scope Submit manuscript

Abstract

This paper describes how to define and work with differential equations in the abstract setting of tangent categories. The key notion is that of a curve object which is, for differential geometry, the structural analogue of a natural number object. A curve object is a preinitial object for dynamical systems; dynamical systems may, in turn, be viewed as determining systems of differential equations. The unique map from the curve object to a dynamical system is a solution of the system, and a dynamical system is said to be complete when for all initial conditions there is a solution. A subtle issue concerns the question of when a dynamical system is complete, and the paper provides abstract conditions for this. This abstract formulation also allows new perspectives on topics such as commutative vector fields and flows. In addition, the stronger notion of a differential curve object, which is the centrepiece of the last section of the paper, has exponential maps and forms a differential exponential rig. This rig then, somewhat surprisingly, has an action on every differential object and bundle in the setting. In this manner, in a very strong sense, such a curve object plays the role of the real numbers in standard differential geometry.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Notes

  1. That is, the addition \(+\) is invertible in each slice; see [3, Section 3.3].

References

  1. Biagi, S., Bonfiglioi, A.: An Introduction to the Geometrical Analysis of Vector Fields. World Scientific, Singapore (2019)

    Google Scholar 

  2. Blute, R.F., Cruttwell, G.S.H., Lucyshyn-Wright, R.B.B.: Affine geometric spaces in tangent categories. Theory Appl. Categ. 34, 405–437 (2019)

    MathSciNet  MATH  Google Scholar 

  3. Cockett, J.R.B., Cruttwell, G.S.H.: Differential structure, tangent structure, and SDG. Appl. Categ. Struct. 22(2), 331–417 (2014)

    Article  MathSciNet  Google Scholar 

  4. Cockett, J.R.B., Cruttwell, G.S.H.: The Jacobi identity for tangent categories. Cahiers de Topologie et Geométrie Différential Catégoriques 59(1), 10–92 (2015)

    MATH  Google Scholar 

  5. Cockett, J.R.B., Cruttwell, G.S.H.: Connections in tangent categories. Theory Appl. Categ. 32(26), 835–888 (2018)

    MathSciNet  MATH  Google Scholar 

  6. Cockett, J.R.B., Cruttwell, G.S.H.: Differential bundles and fibrations in tangent categories. Cahiers de Topologie et Geométrie Différential Catégoriques LIX(1), 10–92 (2018)

    MATH  Google Scholar 

  7. Cockett, J.R.B., Lemay, J.-S.P.: Cartesian integral categories and contextual integral categories. Electr. Notes Theor. Comput. Sci. 341, 45–72 (2018)

    Article  MathSciNet  Google Scholar 

  8. Cruttwell, G.S.H., Lucyshyn-Wright, R.B.B.: A simplicial foundation for differential and sector forms in tangent categories. J. Homot. Related Struct. 13(4), 867–925 (2018)

    Article  MathSciNet  Google Scholar 

  9. Hille, E.: Ordinary Differential Equations in the Complex Domain. Dover, New York (1976)

    MATH  Google Scholar 

  10. Jacobs, B.: Categorical Logic and Type Theory. Elsevier, Amsterdam (1999)

    MATH  Google Scholar 

  11. Kock, A., Reyes, G.: Ordinary differential equations and their exponentials. Central Eur. J. Math. 4(1), 64–81 (2006)

    MathSciNet  MATH  Google Scholar 

  12. Kolář, I., Michor, P.W., Slovák, J.: Natural operations in differential geometry. Springer, Berlin (1993)

    Book  Google Scholar 

  13. Kriegl, A., Michor, P.W.: The convenient setting of global analysis, volume 53 of Mathematical Surveys and Monographs. AMS, Providence (1997)

  14. Lang, S.: Fundamentals of Differential Geometry. Springer, Berlin (1999)

    Book  Google Scholar 

  15. Lee, J.M.: Introduction to smooth manifolds. Springer, Berlin (2003)

    Book  Google Scholar 

  16. Lemay, J.-S.P.: Exponential functions in cartesian differential categories. Applied Categorical Structures (2020)

  17. Lucyshyn-Wright, R.B.B.: On the geometric notion of connection and its expression in tangent categories. Theory Appl. Categ. 33, 832–866 (2018)

    MathSciNet  MATH  Google Scholar 

  18. Olver, P.: Equivalence, Invariants, and Symmetry. Cambridge University Press, Cambridge (1995)

    Book  Google Scholar 

  19. Spivak, M.: A Comprehensive Introduction to Differential Geometry, vol. 2, 3rd edn. Publish or Perish, Inc., Houston (1999)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to G. S. H. Cruttwell.

Additional information

Communicated by Stephen Lack.

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

J. R. B. Cockett: Partially supported by NSERC, Canada. G. S. H. Cruttwell: Partially supported by NSERC, Canada. J.-S. P. Lemay: Research supported by Kellogg College, the Clarendon Fund, and the Oxford-Google DeepMind Graduate Scholarship..

Our thanks to Rory Lucyshyn-Wright, who provided valuable contributions to earlier versions of this work, as well as Matthew Burke, Jeff Egger, Ben MacAdam, and Bob Paré for useful discussions..

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Cockett, J.R.B., Cruttwell, G.S.H. & Lemay, J.S.P. Differential Equations in a Tangent Category I: Complete Vector Fields, Flows, and Exponentials. Appl Categor Struct 29, 773–825 (2021). https://doi.org/10.1007/s10485-021-09629-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10485-021-09629-x

Keywords

Navigation