some resources on compositional thinking

gioele zardini and his lab at MIT are working on building co-design, a system design framework built on a foundation of applied category theory. The WIP book, Categories and Compositionality is an introduction to category theory and co-design can be built from it. MIT subject 1.144: Applied Category Theory for Engineering Design is essentially a survey of this book. I strongly recommend the class if you’re interested in these ideas.

→

The topos institute is practicing applied category theory. brendan fong and david spivak were both pushing on applied category theory at MIT before starting this institute in California.

→

The Applied Category Theory Lectures Brendan and David gave at MIT in 2019:

→

Brendan and David’s early paper on applied category theory is also a good resource

→

Generally for category theory, I think it’s hard to find a concise summary of why some people feel so compelled by it (hence why I thought it might be worth convening). I think Bartosz Milewski’s lectures are quite good at this if you have a bit of a computer programming background. The first lecture is one of the better summaries I’ve found of what the philosophy of category theory might be.

→

This playlist is another good attempt at introducing category theory intuitively:

→

richard southwell has a very wide-ranging set of videos teaching category theory

→