Applied Category Theory for Engineering Design
MIT 1 .044
Subject & Catalog Number
Course Information
Description
Considers the multiple trade-offs at various abstraction levels and scales when designing complex, multi-component systems. Covers topics from foundational principles to advanced applications, emphasizing the role of compositional thinking in engineering. Introduces category theory as a mathematical framework for abstraction and composition, enabling a unified and modular approach to modeling, analyzing, and designing interconnected systems. Showcases successful applications in areas such as dynamical systems and automated system design optimization, with a focus on autonomous robotics and mobility. Offers students the opportunity to work on their own application through a dedicated project in the second half of the term. Students taking graduate version complete additional assignments.
Class Notes
See MIT Schedule for times and locations;
Faculty: Gioele Zardini;
Prereq: (Calculus II (GIR) and 18.06) or permission of instructor;
Subject Level: Undergraduate
Available for Harvard Cross Registration
