| Year | Status | Authors | | ---- | ------------------------------ | -------------------------------------- | | 2025 | Talk given at CMU HoTT Seminar | Corinthia Beatrix Aberlé (sole author) | **Video:** <iframe width="560" height="315" src="https://www.youtube.com/embed/wzBnOd00hcg?si=yOFDjMvTbLOs937t" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share" referrerpolicy="strict-origin-when-cross-origin" allowfullscreen></iframe> **Slides:** ![[Fundamental_Theorems_for_Free_HoTT_V2.pdf]]