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.
Ryan Schwiebert (May 03 2024 at 20:29):Any articles dealing with category theory applied to "Air-traffic-control" type scenarios?
The overarching goal is to manage the time and location of vehicles en route to destinations so that they always maintain a safe distance from each other.
John Baez (May 03 2024 at 20:37):There is David Spivak and Patrick Schultz's work on using category theory to enhance safety in the national airspace system - see the short summary here and details here:
Ryan Schwiebert (May 05 2024 at 03:24):@John Baez Thanks again John! The variety of applications out there seems to be so dazzling...
Ryan Schwiebert (Jun 11 2024 at 23:47):That Temporal Type Theory book is pretty heavy lifting. I will have to go through it carefully later to see if I can clean stuff, but do you know if there are any gentler surveys? It would be nice to have toy examples...
Kevin Carlson (Jun 12 2024 at 00:36):I'm not sure about [gentler surveys for] air traffic control specifically, where part of the idea of the temporal type theory book is that it outputs a type theory one could (in principle) reason in without knowing about the tops theory, but Gioele Zardini has a lot of work related to self-driving vehicles, which is at least vaguely relevant, and most of his writing is targeted much moreso at a "normal" engineering audience.
Spencer Breiner (Jun 12 2024 at 01:27):Try this one
https://arxiv.org/pdf/1904.01081
John Baez (Jun 12 2024 at 09:38):That actually looks like a survey. Spivak's book was a research project.
Spencer Breiner (Jun 12 2024 at 11:05):The request was for a survey
John Baez (Jun 12 2024 at 11:11):Yes, that's why I said this actually looks like a survey. It meets the request. Part of my point was that Spivak's work is the exact opposite of the survey.
Spencer Breiner (Jun 12 2024 at 12:15):Yeah. That book is no easy going.