Category Theory for Programmers (2014) [pdf]
The clearest and most concise treatment I&#x27;ve come across on how Category Theory is used is Tai-Danae Bradley&#x27;s &quot;What is Applied Category Theory&quot;: <a href="https:&#x2F;&#x2F;arxiv.org&#x2F;abs&#x2F;1809.05923" rel="nofollow">https:&#x2F;&#x2F;arxiv.org&#x2F;abs&#x2F;1809.05923</a> (It&#x27;s a 50 page PDF)<p>Unfortunately the examples aren&#x27;t within CS, but at least for me personally, seeing it <i>clearly</i> applied in any context was the most important thing. It may be a good pre-req for looking at (or conjuring up your own) more detailed applications within CS specifically.<p>Also, if you like that, Tai-Danae Bradley has more writing at: <a href="https:&#x2F;&#x2F;www.math3ma.com&#x2F;" rel="nofollow">https:&#x2F;&#x2F;www.math3ma.com&#x2F;</a>