Talks
Fall 2016

Data Structures for Quasistrict Higher Categories
Monday, Dec. 5, 2016 11:40 am – 12:15 pm PST
Event:
Speaker:
Location:
Calvin Lab Auditorium
Higher category theory is one of the most general approaches to compositionality, with broad and striking applications across computer science, mathematics and physics. We present a new, simple way to define higher categories, in which many important compositional properties emerge as theorems, rather than axioms. Our approach is amenable to computer implementation, and we present a new proof assistant we have developed, with a powerful graphical calculus. In particular, we will outline a substantial new proof we have developed in our setting.
Attachment | Size |
---|---|
![]() | 642.41 KB |