MIT 2020: Programming with Categories

MIT Course 18.S097, taught by Brendan Fong, Bartosz Milewski and David Spivak