Scale By the Bay Scale By the Bay

Thursday, October 28, 2021

Algebraic Data Types, Categorically
Vlad Patryshev
Vlad Patryshev, engineer

To understand what we are dealing with when we have ADT, one needs to get a bit deeper into Lawvere theories. Then things become clearer. To see how ADT are models of Lawvere theories, one needs some (not very deep) dive into categories (and free algebras). In this talk I'll try to explain all this in an as clear way as possible.