HackerTube 中文?

Category Theory 1.1: Motivation and Philosophy

Bartosz MilewskiYouTube ↗

Further reading 1

Caption notes

Mutable state and locks can defeat composition. The speaker presents category theory as a language for common structure across programs, logic and mathematics.

Original passages · 6
They hide mutation – they mutate some state inside, right?
Category Theory 1.1: Motivation and Philosophy · ▶ 10:48–10:57
and unfortunately locks don't compose either, right. That's the problem with locks.
Category Theory 1.1: Motivation and Philosophy · ▶ 12:16–12:26
to help us express ideas that later can be
Category Theory 1.1: Motivation and Philosophy · ▶ 21:20–21:38
Maybe this is just the property of our brains, maybe our brains are such
Category Theory 1.1: Motivation and Philosophy · ▶ 45:47–46:01
if you want to deal with more complex problems you have to
Category Theory 1.1: Motivation and Philosophy · ▶ 7:12–7:27
they are exactly the same there is a one to one correspondence
Category Theory 1.1: Motivation and Philosophy · ▶ 28:23–28:35

Hacker News comments

View original on HN ↗