Assia Mahboubi: Mathematical Structures in Dependent Type Theory (Invited Talk). CSL 2021: 2:1-2:3