Overview
Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
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.
Syllabus
Owen Lynch: Algebraic Theories and Computer Algebra
Taught by
Topos Institute