HackerTube

THE VIDEO SHELF · category theory

Category Theory by Tom LaGatta

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.

Watch & explore the libraryYouTube ↗

Why HN readers recommended it

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

This is a summary from the source dataset, not an endorsement by Hacker News or the video creator.

Video & recommendation details

Creator / channel
AI Council
Topic
category theory
Format
talk
Level
intro
HN recommenders in dataset
3
HN mentions in dataset
4
Recommendation years in dataset
2014–2017

These counts and years describe the included Hacker News records; they are not YouTube views or the video’s publication date.

From the original HN conversations

Excerpts from the recorded comments. Follow each source for the full comment and surrounding discussion.

  • 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: …

    mjhoy on Hacker News · 2014-05
    In Thinking in Types

  • 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] [VIDEO] [2] [LINK]

    gosub on Hacker News · 2014-06
    In Mathematics is full of wonderful but relatively unknown theorems

  • 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 …

    aputsiak on Hacker News · 2017-04
    In Category Theory, Syntactically (2016)

Summaries, classifications and recommendation records are from the HackerTube source dataset. Read about this library and its limitations.

Keep exploring