Abstract: Matrix integrals play an important role in random matrix theory, 2d quantum gravity, and the topology of moduli spaces of Riemann surfaces. In this first lecture we shall look at a perturbative expansion for matrix integrals via Feynman graphical methods.

Abstract: In this talk we will discuss uniqueness results for inductive types, with particular focus on identity types.