Tech Talk: Bartosz Milewski on Category Theory
CoRecursive: Coding Stories
00:00
Using a Category Theorem
The category theory gives us sort of a language to look at things from the outside, like to just look at the types and the mappings. So you take several types, which are objects in your category, and you put them into one bigger type that combines them. Or you do things like creating a data structure in which i either have a string or an intiterlikea,. You know, union type, or something that's also be describig in a category theory as as a sum type, and so on.
Transcript
Play full episode
