ACT @ The Functorial
MIT 2020 - Programming with Categories Course

MIT 2020 - Programming with Categories Course

Lectures

These discussions on the Azimuth Forum each begin with the MIT lecture video and link to David Dalrymple’s class notes.

Exercises

Discussions on the Azimuth Forum: