Collins Conference Room
Seminar
US Mountain Time
Our campus is closed to the public for this event.
Catherine Ray (Thiel Fellow)
Abstract. A fiber bundle is a beautiful device which expresses global phenomenon in terms of the output of local data. The geometric multi-scale modeling technique, aptly named fiber bundle dynamics, expresses macroscale data in terms of the output of microscale models. By recognizing that (1) dependent types are fibrations and (2) a multi-scale model is a generalized transition system, we will illustrate the simplicity underlying various multi-scale models as an example of the rich interplay between the seemingly disparate topics of algebraic topology, theoretical physics, and type theory.