Category Theory by Tom LaGatta
AI Council3 HN recommenders · recommended in 3 months, 2014-2017
73K views · 12 years ago · talk · evergreen
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.
46:46Category Theory 1.1: Motivation and Philosophy
Bartosz Milewski
394K views • 10 years ago
40:39Category Theory in Life - Eugenia Cheng
Lambda World
113K views • 9 years ago
1:03:14Category Theory, The essence of interface-based design - Erik Meijer
FooCafe
74K views • 11 years ago
1:07:10Brian Beckman: Don't fear the Monad
jasonofthel33t
415K views • 13 years ago
1:02:15Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
Fullstack Academy
227K views • 9 years ago
1:12:56Lecture 1A: Overview and Introduction to Lisp
MIT OpenCourseWare
420K views • 7 years ago
1:05:51The Functional Programmer's Toolkit - Scott Wlaschin
NDC Conferences
79K views • 7 years ago
1:30:45The Simple Essence of Automatic Differentiation - Conal Elliott
Microsoft Research
17K views • 8 years ago
53:22Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
Confreaks
65K views • 14 years ago
1:04:35The Algebra of Algebraic Data Types
London Haskell
27K views • 13 years ago
40:50Ruby Manor 3 - Programming with Nothing by Tom Stuart
Confreaks
13K views • 14 years ago
1:54:46Lenses, Folds, and Traversals
Edward Kmett
54K views • 13 years ago
1:24:38Lecture 7A: Metacircular Evaluator, Part 1
MIT OpenCourseWare
32K views • 7 years ago
1:12:10Practical Common Lisp
Google TechTalks
98K views • 19 years ago
1:07:22Invited Talk - Guy Steele
ClojureTV
39K views • 9 years ago
21:58Group theory, abstraction, and the 196,883-dimensional monster
3Blue1Brown
3.8M views • 6 years ago
59:03Breaking Down Programming Paradigms: APL's Surprising Learning Curve // Aaron Hsu // Dyalog '17
Dyalog User Meetings
7K views • 9 years ago
1:00:341. Introduction, Finite Automata, Regular Expressions
MIT OpenCourseWare
626K views • 5 years ago
1:49:11WE MUST ADD STRUCTURE TO DEEP LEARNING BECAUSE...
Machine Learning Street Talk
101K views • 2 years ago
1:03:34Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic language
Curry On!
19K views • 8 years ago
4 comments from Hacker News
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.
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.
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
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