Applied Category Theory Course: Collaborative Design
Azimuth 2018-08-02
Summary:
In my online course we’re reading the fourth chapter of Fong and Spivak’s book Seven Sketches. Chapter 4 is about collaborative design: building big projects from smaller parts. This is based on work by Andrea Censi: • Andrea Censi, A mathematical theory of co-design. The main mathematical content of this chapter is the theory of […]