<story><title>A monoid is a category, a category is a monad, a monad is a monoid</title><url>https://graphicallinearalgebra.net/2017/04/16/a-monoid-is-a-category-a-category-is-a-monad-a-monad-is-a-monoid/</url></story><parent_chain></parent_chain><comment><author>crawfordcomeaux</author><text>For anyone wondering how this is useful outside of programming and&amp;#x2F;or looking for an easier introduction, check out Category Theory for the Sciences [1]. There are free digital versions on Github, too [2]. Here&amp;#x27;s the reasoning given by the author:&lt;p&gt;&amp;quot;Information is inherently dynamic; the same ideas can be organized and reorganized in countless ways, and the ability to translate between such organizational structures is becoming increasingly important in the sciences. Category theory offers a unifying framework for information modeling that can facilitate the translation of knowledge between disciplines.&amp;quot;&lt;p&gt;[1] &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;mitpress.mit.edu&amp;#x2F;books&amp;#x2F;category-theory-sciences&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;mitpress.mit.edu&amp;#x2F;books&amp;#x2F;category-theory-sciences&lt;/a&gt;&lt;p&gt;[2] &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;mmai&amp;#x2F;Category-Theory-for-the-Sciences&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;mmai&amp;#x2F;Category-Theory-for-the-Sciences&lt;/a&gt;</text></comment>
<story><title>A monoid is a category, a category is a monad, a monad is a monoid</title><url>https://graphicallinearalgebra.net/2017/04/16/a-monoid-is-a-category-a-category-is-a-monad-a-monad-is-a-monoid/</url></story><parent_chain></parent_chain><comment><author>casion</author><text>Are there really that many people on NH that can understand this?&lt;p&gt;I&amp;#x27;m not trying to be snarky, I&amp;#x27;m legitimately interested. It seems like this class of knowledge is highly specialized, yet I see posts like these high up on NH frequently.</text></comment>