18.S097 | January IAP 2019 | Undergraduate

Applied Category Theory

Chapter 7: Logic of Behavior: Sheaves, Toposes, Languages

18.S097 Applied Category Theory: Textbook Chapter 7: Logic of Behavior: Sheaves, Toposes, Languages

pdf
490 kB
18.S097 Applied Category Theory: Textbook Chapter 7: Logic of Behavior: Sheaves, Toposes, Languages

Course Info

Departments
As Taught In
January IAP 2019
Learning Resource Types
Lecture Videos
Problem Sets
Online Textbook
Instructor Insights