Jacob Biamonte got a grant from the Foundational Questions Institute to run a small meeting on network theory:
• The categorical foundations of network theory.
It’s being held 25-28 May 2015 in Turin, Italy, at the ISI Foundation. We’ll make slides and/or videos available, but the main goal is to bring a few people together, exchange ideas, and push the subject forward.
Network theory is a diverse subject which developed independently in several disciplines. It uses graphs with additional structure to model everything from complex systems to theories of fundamental physics.
This event aims to further our understanding of the mathematical theory underlying the relations between seemingly different networked systems. It’s part of the Azimuth network theory project.
With the exception of the first day (Monday May 25th) we will kick things off with a morning talk, with plenty of time for questions and interaction. We will then break for lunch at 1:00 p.m. and return for an afternoon work session. People are encouraged to give informal talks and to present their ideas in the afternoon sessions.
• Jacob Biamonte: opening remarks.
For Jacob’s work on quantum networks visit www.thequantumnetwork.org.
• John Baez: network theory.
For my stuff see the Azimuth Project network theory page.
• David Spivak: operadic network design.
Operads are a formalism for sticking small networks together to form bigger ones. David has a 3-part series of articles sketching his ideas on networks.
• Eugene Lerman: continuous time open systems and monoidal double categories.
Eugene is especially interested in classical mechanics and networked dynamical systems, and he wrote an introductory article about them here on the Azimuth blog.
• Tobias Fritz: ordered commutative monoids and theories of resource convertibility.
Tobias has a new paper on this subject, and a 3-part expository series here on the Azimuth blog!
ISI Foundation
Via Alassio 11/c
10126 Torino — Italy
Phone: +39 011 6603090
Email: isi@isi.it
Theory group details: www.TheQuantumNetwork.org