Please log in to watch this conference skillscast.
Often, categorists will speak about "universal properties" when discussing basic constructions. Understanding what these are can be one of the more confusing aspects of coming to terms with category theory. But it turns out that there is one weird trick that lets us take universal properties and translate them directly into executable code. In doing so, we can better understand just what it means for something to be a universal property, and for that matter, how to think of the relationship between functions and data. The insights from this sort of approach are broadly applicable to real-world practice when we think about how to structure our data to capture just what it should, and nothing else. This talk will start from the very basics, and hopefully leave the audience with a taste of practical categorical intuition, summarized in the slogan "Asking what and asking how are asking the same thing."
YOU MAY ALSO LIKE:
- Microservices from the very start with Russel Winder! (in London on 26th June 2017)
- Are You Managing or Leading? (in London on 4th July 2017)
- Infiniteconf 2017 - the conference on Big Data and Fast Data (in London on 6th - 7th July 2017)
- Uncle Bob's Clean Code: Agile Software Craftsmanship (in London on 1st - 3rd November 2017)
Programming with Universal Properties