Actegories

(bartoszmilewski.com)

33 points by ibobev4 hours ago

2 comments

  • lyall2 hours ago
    If you saw TFA and thought &quot;hmmm yes, I know some of those words&quot;, then I can recommend the author&#x27;s own lecture series on YouTube [0]. It&#x27;s an intro to and overview of category theory aimed at programmers, with the requisite context and motivation for why anyone should care. It&#x27;s long but worth the time investment IMHO.<p>0: <a href="http:&#x2F;&#x2F;www.youtube.com&#x2F;playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_" rel="nofollow">http:&#x2F;&#x2F;www.youtube.com&#x2F;playlist?list=PLbgaMIhjbmEnaH_LTkxLI7...</a>
    • mkw50531 hour ago
      He also has an excellent online&#x2F;PDF version of the material[0]. All of it is really mind opening stuff, and fun!<p>[0] <a href="https:&#x2F;&#x2F;bartoszmilewski.com&#x2F;2014&#x2F;10&#x2F;28&#x2F;category-theory-for-programmers-the-preface&#x2F;" rel="nofollow">https:&#x2F;&#x2F;bartoszmilewski.com&#x2F;2014&#x2F;10&#x2F;28&#x2F;category-theory-for-p...</a>
  • ultimatefan12 hours ago
    this has a real &quot;a monad is a monoid in the category of endofunctors&quot; energy to it
    • paulluuk2 hours ago
      &gt; To understand actegories, let’s start with the definition of a monoidal category<p>Definitely not written for someone with my starting knowledge, haha.