David Spivak and Brendan Fong have been doing lots of work at MIT to evangelize applied category theory. See their recent books/classes: Seven Sketches in Comp

David Spivak and Brendan Fong have been doing lots of work at MIT to evangelize applied category theory. See their recent books/classes: Seven Sketches in Compositionality: An Invitation to Applied Category Theory https://arxiv.org/abs/1803.05316 https://arxiv.org/abs/1803.05316 Applied Category Theory mini-course: https://ocw.mit.edu/courses/mathematics/18-s097-applied-category-theory-january-iap-2019/ https://ocw.mit.edu/courses/mathematics/18-s097-applied-cate... Programming with Categories mini-course (with Bartosz Milewski): http://brendanfong.com/programmingcats.html http://brendanfong.com/programmingcats.html