<story><title>Applied Category Theory</title><url>https://ocw.mit.edu/courses/mathematics/18-s097-applied-category-theory-january-iap-2019/index.htm</url></story><parent_chain></parent_chain><comment><author>eindiran</author><text>If anyone is looking to get into Category Theory as a programmer, I would recommend giving Bartosz Milewski&amp;#x27;s Category Theory for Programmers a shot[0]. Quite good, and you can read it as a blog post on that site or get the ebook&amp;#x2F;physical book to leaf through.&lt;p&gt;For a more theoretical&amp;#x2F;less applied approach that&amp;#x27;s still relevant to computer science&amp;#x2F;programming, check out Benjamin Pierce&amp;#x27;s Basic Category Theory for Computer Scientists[1]. It&amp;#x27;s a very good introduction to the parts of Category Theory that are useful for [theoretical] CS, and delves into semantics of programming languages, types, and concurrency a fair amount.&lt;p&gt;[0] &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;bartoszmilewski.com&amp;#x2F;2014&amp;#x2F;10&amp;#x2F;28&amp;#x2F;category-theory-for-programmers-the-preface&amp;#x2F;&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;bartoszmilewski.com&amp;#x2F;2014&amp;#x2F;10&amp;#x2F;28&amp;#x2F;category-theory-for-p...&lt;/a&gt;&lt;p&gt;[1] &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;mitpress.mit.edu&amp;#x2F;books&amp;#x2F;basic-category-theory-computer-scientists&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;mitpress.mit.edu&amp;#x2F;books&amp;#x2F;basic-category-theory-compute...&lt;/a&gt;</text></comment>
<story><title>Applied Category Theory</title><url>https://ocw.mit.edu/courses/mathematics/18-s097-applied-category-theory-january-iap-2019/index.htm</url></story><parent_chain></parent_chain><comment><author>outlace</author><text>The course is based on this free book &lt;a href=&quot;http:&amp;#x2F;&amp;#x2F;math.mit.edu&amp;#x2F;~dspivak&amp;#x2F;teaching&amp;#x2F;sp18&amp;#x2F;7Sketches.pdf&quot; rel=&quot;nofollow&quot;&gt;http:&amp;#x2F;&amp;#x2F;math.mit.edu&amp;#x2F;~dspivak&amp;#x2F;teaching&amp;#x2F;sp18&amp;#x2F;7Sketches.pdf&lt;/a&gt;</text></comment>