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?and unfortunately locks don't compose either, right. That's the problem with locks.to help us express ideas that later can beMaybe this is just the property of our
brains, maybe our brains are suchif you want to deal with more complex problems you have tothey are exactly the same there is a one to one correspondence