Algebraic Theories and Computer Algebra

Learn about the fundamental connections between category theory and algebraic structures in this 58-minute seminar talk from the Topos Institute Berkeley Series. Explore how mathematical objects like monoids, groups, rings, vector spaces, and Boolean algebras follow similar patterns of "sets with operations and laws." Discover how category theory provides a framework for understanding these algebraic theories and guides their computer implementations. Delve into the influential research stemming from F. W. Lawvere's 1963 Ph.D. thesis on algebraic theories, examining how its core concepts have shaped category theory's development and applications over the past half-century.