18.S097 | January IAP 2019 | Undergraduate

Applied Category Theory

Seven Sketches in Compositionality: An Invitation to Applied Category Theory

Description:

This book offers a self-contained tour of applied category theory, aimed at readers with minimal background. It introduces advanced category-theoretic ideas through concrete, real-world examples such as electrical circuits, control theory, and databases, giving a taste of each topic rather than a comprehensive treatment.

 

Key Topics

  • Orders and adjunctions
  • Monoidal preorders
  • Database schemas and functors
  • Profunctors and co-design
  • Hypergraph categories and operads

Authors: Brendan Fong and David I. Spivak

Resource Type:
Open Textbooks
pdf
4 MB
Seven Sketches in Compositionality: An Invitation to Applied Category Theory

Course Info

January IAP 2019

Course Info

January IAP 2019
Instructor Insights
Lecture Videos
Open Textbooks
Problem Sets