Abstract: I will show how to compute the zeta regualrized determinants of differential operators, notably Jacobi operators in differential geometry and the Sturm-Liouville operators on the line. Note: this talk was cancelled last week. So this is the first part.

Abstract: In this talk I will describe the development of category theory within HoTT and what it means for a category to be univalent.