Monotone co-design is a flexible mathematical framework for modelling and optimizing complex systems built up of interconnected components which each require and provide resources.

Expository material:

• A concise categorical formalization of monotone co-design is given in Chapter 4 of “An Introduction to Applied Category Theory: Seven Sketches in Compositionality“ by Brendan Fong and David Spivak.
• Gioele Zardini's Ph.D. Thesis contains an exposition of monotone co-design, along with several real-world applications.

Original papers by Andrea Censi, before discovering category theory:

• Censi, Andrea. “A mathematical theory of co-design“, 2015.
• Censi, Andrea. “A class of co-design problems with cyclic constraints and their solution“, 2016.
• Censi, Andrea. “Uncertainty in Monotone Co-design Problems“, 2017.

Following these papers, many more have been written on co-design and it's applications. We will not aim to maintain an updated list here; we trust they can be found by searching the web.

Talk by Gioele Zardini at the Topos Institute Colloquium

Talk on co-design by Andrea Censi at the MIT categories seminar.