38 pointsby ibobev6 hours ago4 comments
  • lyall4 hours ago
    If you saw TFA and thought "hmmm yes, I know some of those words", then I can recommend the author's own lecture series on YouTube [0]. It's an intro to and overview of category theory aimed at programmers, with the requisite context and motivation for why anyone should care. It's long but worth the time investment IMHO.

    0: http://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7...

  • ultimatefan14 hours ago
    this has a real "a monad is a monoid in the category of endofunctors" energy to it
    • paulluuk4 hours ago
      > To understand actegories, let’s start with the definition of a monoidal category

      Definitely not written for someone with my starting knowledge, haha.

  • xqb64an hour ago
    I'd like to understand how and why this stuff is useful for programmers.
    • jcarrano16 minutes ago
      Watch his lecture series on YouTube. We you started programming, you had to adapt your brain to the way of thinking of computer programs. Think of this as an continuation of that evolution, were you acquire new methods of reasoning that can abstract many apparently different problems into the same concept.
      • xqb6414 minutes ago
        Is it only applicable in e.g. Haskell, though, or is it language agnostic? Thanks for your answer.
  • speed_spread2 hours ago
    Uh thanks but I'm gonna stick with Scattergories for now.