14:00
Bornological and condensed mathematics
Abstract
I will explain how bornological and condensed structures can both be described as algebraic theories. I will also show how this permits the construction of functors between bornological and condensed structures. If time permits I will also briefly describe how to compare condensed derived geometry and bornological derived geometry and sketch how they relate to analytic geometry and Arakelov geometry