BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Locally graded categories - Paul Levy (University of Birmingham)
DTSTART:20190212T141500Z
DTEND:20190212T151500Z
UID:TALK117850@talks.cam.ac.uk
CONTACT:Tamara von Glehn
DESCRIPTION:This talk has two aims.\n\nFirstly to introduce the notion of 
 locally graded category\, which\ngeneralizes that of enriched category\, a
 ctegory and op-actegory.  And\nthe notion of locally indexed category\, wh
 ich is equivalent in the\ncartesian case to locally graded category.\n\nSe
 condly to use these notions to give a cleaner categorical semantics of\nca
 ll-by-push-value (a form of lambda-calculus with computational\neffects) t
 han the one I previously presented.  It's an improvement\nbecause it allow
 s an apparently complicated equivalence (between two\nnotions of adjunctio
 n) to be decomposed into simple parts.\n\nThis all builds on work of Wood\
 , Egger-Mogelberg-Simpson and Mellies.\n\nI will begin the talk with two p
 ieces of background\, that may be of\nindependent interest:\n\n(i) termino
 logy for dealing with size issues\n\n(ii) the notions of left module\, rig
 ht module and bimodule (aka\nprofunctor) and some properties.
LOCATION:MR4\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR