Unrelated to this post, the author also has a GREAT series of lectures on Category Theory which are on YouTube [1]. I've seen them recommended several times for

Unrelated to this post, the author also has a GREAT series of lectures on Category Theory which are on YouTube [1]. I've seen them recommended several times for anybody interested in Category Theory coming from a programming background. [1]: https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_ https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI...