BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Globular: Higher categories\, the easy way - Jamie Vicary (Univers
 ity of Oxford)
DTSTART:20161129T141500Z
DTEND:20161129T151500Z
UID:TALK69413@talks.cam.ac.uk
CONTACT:Tamara von Glehn
DESCRIPTION:In this talk I will present a new proof assistant\, Globular\,
  which makes it easy to construct compositional proofs in semistrict highe
 r categories\, up to dimension 4. We will start with an easy tutorial---br
 ing your laptop and follow along!---and then look in detail at some more c
 omplex examples drawn from topology and algebra.\n\nUnlike most talks on h
 igher category theory\, no existing knowledge of higher category theory wi
 ll be needed to understand this talk. Everything will be accessible to Mas
 ters students\, and to mathematicians from other fields.
LOCATION:MR5\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR