Isomorphism invariance and isomorphism reflection in type theory (TYPES 2023)
- 15 June 2023
- Talks, Type theory
At TYPES 2023 I had the honor of giving an invited talk “On Isomorphism Invariance and Isomorphism Reflection in Type Theory” in which I discussed isomorphism reflection, which states that isomorphic types are judgementally equal. This strange principle is consistent, and it validates some fairly strange type-theoretic statements.
Here are the slides with speaker notes and the video recording of the talk.