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.

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

We continue by proving Brion's theorem identidying the equivariant cohomology of a smooth toric variety with the ring of piecewise polynomials on the associated fan. Then we compare piecewise polynomials to the Stanley-Reisner ring. We conclude with some remarks about non-equivariant cohomology.