HackerTube

THE VIDEO SHELF · category theory

Category Theory 1.1: Motivation and Philosophy

The first lecture in Bartosz Milewski's category theory series for programmers. It covers the motivation and philosophy behind category theory and why composition matters for handling complexity.

Why HN readers recommended it

HN commenters repeatedly name it as the friendliest entry point to category theory for working programmers.

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

Video & recommendation details

Creator / channel
Bartosz Milewski
Topic
category theory
Format
lecture
Level
intro
HN recommenders in dataset
11
HN mentions in dataset
19
Recommendation years in dataset
2016–2026

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.

  • This reminds me of a great talk by Bartosz Milewski [1] about the motivation and philosophy behind category theory. He makes the observation that our "monkey brains" are not good at dealing with complexity at all and we only really have one good strategy for …

    defaultcompany on Hacker News · 2019-10
    In On the Weaknesses of the Mathematical Mind
  • If you are coming from imperative land (more specifically C++) then nothing beats articles and videos by Dr. Bartosz Milewski: [LINK] [VIDEO] [LINK] [LINK]

    phekunde on Hacker News · 2020-05
    In Ask HN: How to be fluent in functional language speak?
  • That just means you are missing some foundation. If you are interested in understanding the theory I really recommend this: [VIDEO] [LINK]

    openfuture on Hacker News · 2017-01
    In Why hasn't Haskell taken over the world? And the curious case of Go

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

Keep exploring