Abstract: In this talk, we will show a way to develop category theory in Univalent foundations. As it turns out, the naive reformulation of the standard axioms from set theory leads to a rather ill-behaved notion. We show how it can be refined. We also observe that for these redefined categories, two concepts of equivalence and isomorphism are the same.

Abstract: Operator theory on spaces of holomorphic functions has undergone a rapid development in the last several decades. It started with spaces of functions holomorphic on the unit disk in the complex plane and it kept developing into higher dimensions. Particularly well studied cases are operators acting on Bergman spaces on the ball and polydisk. We use $\overline\partial$-techniques to study compactness of Hankel and Toeplitz operators on Bergman spaces on pseudoconvex domains in $\mathbb{C}^n$. This is joint work with Sonmez Sahutoglu.