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...