These might be useful - Programming With Categories [1] and Category Theory for Programmers [2] (also on YT [3]). [1] http://brendanfong.com/programmingcats.ht

These might be useful - Programming With Categories [1] and Category Theory for Programmers [2] (also on YT [3]). [1] http://brendanfong.com/programmingcats.html http://brendanfong.com/programmingcats.html [2] https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ https://bartoszmilewski.com/2014/10/28/category-theory-for-p... [3] https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_ https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI...