SLIDES FROM RECENT TALKS


Finite Inverse Categories as a Data Structure

Univalent Foundations and Set Theory
A Higher Structure Identity Principle
Model Theory in the Univalent Foundations
Homotopy Model Theory
A Syntactic Characterization of Morita Equivalence
Univalent Foundations and Its Logic


VIDEOS FROM RECENT TALKS

Univalent Foundations and the Principle of Isomorphism  Part 1  Part 2
Sample Structures
Model Theory in the Univalent Foundations  (requires Flash to be enabled)