SLIDES FROM RECENT TALKS

A Higher Structure Identity Principle

- CT Octoberfest, CMU, October 2017

- Model Theory Conference, Munich Center for Mathematical Philosophy, January 2017

- CT2016, Dalhousie University, August 2016
- Workshop on Univalent Foundations and Categorical Logic, Leeds University, July 2016
- Workshop on HoTT and Categorical Logic, Stockholm University, December 2015

- Logic Colloquium 2016, Leeds University, July 2016

- Notre Dame Philosophy Department, November 2016

- Guest lecture in the "Philosophy of Mathematics" course at Rutgers University, November 2016