Collins Conference Room
  US Mountain Time

This event is private.

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.

Research Collaboration
SFI Host: 
Yoav Kallus