BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Modelling for the Budding Mathematician - Dr Jose Siqueira\, DPMMS
DTSTART:20250214T180000Z
DTEND:20250214T190000Z
UID:TALK228367@talks.cam.ac.uk
CONTACT:Daniel Nguyen
DESCRIPTION:Both pure and applied mathematics are about modelling: one app
 roximates concepts\, while the other is concerned with 'the real world'. E
 ither form must contend with the inherent difficulties of the enterprise. 
 \n\nThis talk will discuss what 'modelling' entails and how the tools of c
 ategory theory provide natural ways to tackle the associated challenges. T
 his is intended as a gentle introduction to categorical thinking\, and no 
 prior background is assumed. If time permits\, I will also sketch an elega
 nt new approach to modelling complex systems based on the theory of double
  categories and how it is connected to assume-guarantee reasoning. 
LOCATION:Center for Mathematical Sciences\, Lecture room MR2
END:VEVENT
END:VCALENDAR