Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.


Stream: learning: questions

Topic: topos theory and dynamics


view this post on Zulip Peiyuan Zhu (Dec 31 2021 at 22:10):

Is topos offering an alternative way of formulating dynamical system than differential equations? I looked at this document which seems to say something like this but I couldn't understand it very well. http://www.acsu.buffalo.edu/~wlawvere/ToposMotion.pdf

view this post on Zulip John Baez (Dec 31 2021 at 22:23):

Topos theory gives a different way of thinking about differential equations, but not really an "alternative" to differential equations. As usual, we don't "throw things out" - we just do them better. I wrote about Lawvere's work on topos theory, synthetic differential geometry and dynamical systems here.

view this post on Zulip John Baez (Dec 31 2021 at 22:35):

However, I should add that very little work has been done on dynamical systems using topos theory, and if I wanted to study dynamical systems more (which I occasionally do), topos theory would not be near the top of my list for things to learn about.