Applied Category Theory • Ken Scambler • YOW! 2019

This presentation was recorded at YOW! 2019. #GOTOcon #YOW
yowcon.com
Ken Scambler - Principal Technologist at Thoughtworks
ABSTRACT
Applied #CategoryTheory - The Emerging Science of #Compositionality
What do programming, #QuantumPhysics, #chemistry, #neuroscience, #SystemsBiology, natural #LanguageParsing, #causality, #NetworkTheory, #GameTheory, #DynamicalSystems and #DatabaseTheory have in common?
As functional programmers, we know how useful category theory can be for our work - or perhaps how abstruse and distant it can seem. What is less well known is that applying category theory to the real world is an exciting field of study that has really taken off in just the last few years. It turns out that we share something big with other fields and industries - we want to make big things out of little things without everything going to hell! The key is compositionality, the central idea of category theory.
This talk will introduce the emerging field of applied category theory, with the aims of:
• Giving attendees a broad overview of cutting-edge applications of category theory
• Building an understanding of a small number of the most important core concepts
• Getting attendees excited, inspired to learn more, and equipped to apply some basic concepts to their work [...]
RECOMMENDED BOOKS
Richard Feldman • Elm in Action • amzn.to/387kujI
Jeremy Fairbank • Programming Elm • amzn.to/2WhZCE8
Wolfgang Loder • Web Applications with Elm • amzn.to/3jblQ3q
Cristian Salcescu • Functional Programming in JavaScript • amzn.to/3y75jBS
/ gotocon
/ goto-
/ gotoconferences
#FunctionalProgramming #KenScambler #YOWcon
Looking for a unique learning experience?
Attend the next GOTO conference near you! Get your ticket at gotopia.tech
Sign up for updates and specials at gotopia.tech/newsletter
SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily.
ua-cam.com/users/GotoConf...

[@AndrewBriscoeAU]

This is amazing, I am learning/using category theory to design and build an systems orchestration tool (open-source ansible based tool, the objects are configurations; the morphisms designated a task that represents the desired state, made up of the necessary steps to achieve the configuration from any another configuration, and the different components can be composed in a text file, and the state of the component is the configuration) that can represent and build and manage a variety of IT infrastructure systems using a simple text file, where you can provision, manage and design how it works. And now I learn that the ideas I've used to implement it is a new discipline, I am excited by this as the design of the system matches these ideas. I want to thank you for introducing this to me, and giving me access to a whole new set of tools I can use when design the system. I cannot express grateful I am to come across this. Thank you for introducing the field, the demonstration how to use the tools and providing the resources. I find it funny how I explained category theory to someone today using recipes, and that was the first example. If anyone has any other resources they find useful I would love to hear it.

[@NoNTr1v1aL]

Absolutely amazing video!

[@muskduh]

thanks

[@gifti258]

??? nothing of this makes any sense

[@BroudyHunter]

Absolutely amazing video!