Category Theory by Tom LaGatta

AI Council · 72K views · 2014 · 1:36:54

Open on YouTube

Pure mathematicsFunctional programmingUniversity lectures & coursestalk

Why Hacker News recommends it

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

What it is

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 by 3 HN commenters across 3 different months, 2014 to 2017.

What Hacker News said

Recommends mjhoy · 2014-05 · on “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]

Recommends gosub · 2014-06 · on “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]

Recommends aputsiak · 2017-04 · on “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.

Cites antimora · 2014-12 · on “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.