BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:An introduction to locally presentable categories - Sean Moss (Uni
 versity of Cambridge)
DTSTART:20150721T131500Z
DTEND:20150721T141500Z
UID:TALK60165@talks.cam.ac.uk
CONTACT:Zhen Lin Low
DESCRIPTION:A locally presentable category can be thought of as a category
  which is quite large (complete and cocomplete) but which is also quite sm
 all (controlled by a mere set of data). The conditions are mild enough tha
 t there are many common categories which lie in this optimal range. Howeve
 r\, they are also strong enough to admit a concrete representation theorem
 : in one form\, this says that the locally presentable categories are prec
 isely the categories of models of essentially algebraic theories.\n\nI wil
 l give a basic introduction to locally presentable categories in the spiri
 t of the book by Adámek and Rosický\, covering some motivation\, some ke
 y properties and various forms of the representation theorem. Those intere
 sted could go on to read about accessible categories\, an even more genera
 l notion enjoying similar properties and an interesting representation the
 orem.
LOCATION:MR3\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR
