Talks
Fall 2016

Data Structures for Quasistrict Higher Categories

Monday, Dec. 5, 2016 11:40 am12:15 pm PST

Add to Calendar

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.