Scale By The Bay 2021 : Vlad Patryshev, Algebraic Data Types, Categorically

ai.bythebay.io Nov 2025, Oakland, full-stack AI conference 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.