University of Cambridge > Talks.cam > Archimedeans Talks LT25 > Modelling for the Budding Mathematician

Modelling for the Budding Mathematician

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Daniel Nguyen.

Both pure and applied mathematics are about modelling: one approximates concepts, while the other is concerned with ‘the real world’. Either form must contend with the inherent difficulties of the enterprise.

This talk will discuss what ‘modelling’ entails and how the tools of category theory provide natural ways to tackle the associated challenges. This is intended as a gentle introduction to categorical thinking, and no prior background is assumed. If time permits, I will also sketch an elegant new approach to modelling complex systems based on the theory of double categories and how it is connected to assume-guarantee reasoning.

This talk is part of the Archimedeans Talks LT25 series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity