Skip to content
HomeVideos
AllLongsCategoriesPlaylists
BooksBlogsPodcasts
HistoryListsWatch laterLiked videosFollowing

The videos, books, blogs and podcasts Hacker News keeps recommending, all in one place.

VideosBooksBlogsPodcastsAboutPrivacySettings

Data from Hacker News, HackerTube, HackerBooks, HackerBlogs and Open Library. Credits · Not affiliated with Y Combinator.

HomeVideosBooksBlogsPodcasts
Ctrl K

    Category Theory by Tom LaGatta

    AI Council

    3 HN recommenders · recommended in 4 months, 2014–2017

    YouTube

    1:36:54 · 73K views · Apr 2, 2014

    Tom LaGatta's talk on category theory at a 2014 LispNYC meetup, covering objects, morphisms and the basic ideas in an informal, conversational style. It runs about 97 minutes.

    Recommended as a more approachable introduction to category theory than the more formal lecture series people often start with.

    Mathematics & Theoretical CSPure mathematicsFunctional programmingUniversity lectures & courses
    1. 46:46
      Category Theory 1.1: Motivation and PhilosophyBartosz Milewski394K views • 10 years ago
    2. 40:39
      Category Theory in Life - Eugenia ChengLambda World113K views • 9 years ago
    3. 1:03:14
      Category Theory, The essence of interface-based design - Erik MeijerFooCafe74K views • 11 years ago
    4. 1:07:10
      Brian Beckman: Don't fear the Monadjasonofthel33t415K views • 13 years ago
    5. 1:12:56
      Lecture 1A: Overview and Introduction to LispMIT OpenCourseWare421K views • 7 years ago
    6. 53:22
      Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim WeirichConfreaks66K views • 13 years ago
    7. 1:02:15
      Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScriptFullstack Academy228K views • 9 years ago
    8. 1:05:51
      The Functional Programmer's Toolkit - Scott WlaschinNDC Conferences79K views • 7 years ago
    9. 1:30:45
      The Simple Essence of Automatic Differentiation - Conal ElliottMicrosoft Research17K views • 8 years ago
    10. 40:50
      Ruby Manor 3 - Programming with Nothing by Tom StuartConfreaks13K views • 13 years ago
    11. 1:07:22
      Invited Talk - Guy SteeleClojureTV39K views • 9 years ago
    12. 1:12:56
      Lecture 1A | MIT 6.001 Structure and Interpretation, 1986MIT OpenCourseWare995K views • 17 years ago
    13. 42:43
      "Propositions as Types" by Philip WadlerStrange Loop Conference144K views • 11 years ago
    14. 1:54:46
      Lenses, Folds, and TraversalsEdward Kmett54K views • 13 years ago
    15. 1:00:34
      1. Introduction, Finite Automata, Regular ExpressionsMIT OpenCourseWare628K views • 5 years ago
    16. 1:12:10
      Practical Common LispGoogle TechTalks98K views • 19 years ago
    17. 1:03:34
      Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic languageCurry On!19K views • 8 years ago
    18. 1:04:53
      Julia: to Lisp or not to Lisp?European Lisp Symposium24K views • 10 years ago
    19. 39:49
      Lec 1 | MIT 18.06 Linear Algebra, Spring 2005MIT OpenCourseWare4.9M views • 17 years ago
    20. 12:56
      Stephen Wolfram's Introduction to the Wolfram LanguageWolfram924K views • 12 years ago

    4 comments from Hacker News

    1. @aputsiakApr 2017· in “Category Theory, Syntactically (2016)”

      nLab has been one of the best sources I've come across. My aim is to express and work with philosophical logic in a more formal way, and nLab is a great source for that as well. Milewski's YouTube lectures gets mentioned a lot, but I couldn't make much sense of them before watching Tom LaGatta's more informal and conversational presentation this video Good luck and keep at it.

      RecommendsView on HN
    2. @mjhoyMay 2014· in “Thinking in Types”

      I couldn't really tell you anything about category theory. But I am beginning to grasp monads. (At least in the context of Haskell programs.) I think the important thing is to see how they work, see what they do. btw, you might try this video: this video

      RecommendsView on HN
    3. @gosubJun 2014· in “Mathematics is full of wonderful but relatively unknown theorems”

      Category theory by Tom LaGatta[1] is also a nice introduction. He suggests taking a look at the nLab website[2], a wiki of Maths and Physics from the categorical point of view. [1] this video [2] [LINK]

      RecommendsView on HN
    4. @antimoraDec 2014· in “A concise introduction to category theory”

      Tom LaGatta in this video on Category Theory listed this website as number one resource on category theory. this video There he also lists some books on category theory. I am putting a direct link when he mentions the references.

      CitesView on HN