Previous HN discussion [0], and associated lectures [1]. [0] https://news.ycombinator.com/item?id=19701767 https://news.ycombinator.com/item?id=19701767 [1] ht

Previous HN discussion [0], and associated lectures [1]. [0] https://news.ycombinator.com/item?id=19701767 https://news.ycombinator.com/item?id=19701767 [1] https://ocw.mit.edu/courses/mathematics/18-s097-applied-category-theory-january-iap-2019/index.htm https://ocw.mit.edu/courses/mathematics/18-s097-applied-cate...