Applied Category Theory Course: Collaborative Design

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 enriched profunctors. We’ll mainly talk about enriched profunctors between categories enriched in monoidal preorders. The picture above shows what one of these looks like!

Here are my lectures so far:

• Lecture 55 – Chapter 4: Enriched Profunctors and Collaborative Design • Lecture 56 – Chapter 4: Feasibility Relations • Lecture 57 – Chapter 4: Feasibility Relations • Lecture 58 – Chapter 4: Composing Feasibility Relations • Lecture 59 – Chapter 4: Cost-Enriched Profunctors • Lecture 60 – Chapter 4: Closed Monoidal Preorders • Lecture 61 – Chapter 4: Closed Monoidal Preorders • Lecture 62 – Chapter 4: Constructing Enriched Categories • Lecture 63 – Chapter 4: Composing Enriched Profunctors • Lecture 64 – Chapter 4: The Category of Enriched Profunctors • Lecture 65 – Chapter 4: Collaborative Design • Lecture 66 – Chapter 4: Collaborative Design • Lecture 67 – Chapter 4: Feedback in Collaborative Design • Lecture 68 – Chapter 4: Feedback in Collaborative Design