Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Algebraic Theories and Computer Algebra

Topos Institute via YouTube

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

Reviews

Start your review of Algebraic Theories and Computer Algebra

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.