SLIDES FROM RECENT TALKS

Finite Inverse Categories as a Data Structure

- University of Maryland, June 2018
- Princeton University, April 2018

Univalent Foundations and Set Theory

- CUNY Logic Seminar, February 2018

- 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

VIDEOS FROM RECENT TALKS

Univalent Foundations and the Principle of Isomorphism Part 1 Part 2

- Experimental Math Seminar, Rutgers University, March 2018

- Foundations of Probability Seminar, Rutgers University, April 2017

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