BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Logic and Semantics Seminar (Computer Laboratory)
SUMMARY:A Profunctorial Finiteness Semantics - Zeinab Gala
l
DTSTART;TZID=Europe/London:20200221T140000
DTEND;TZID=Europe/London:20200221T150000
UID:TALK139822AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/139822
DESCRIPTION:Finiteness spaces were introduced by Ehrhard as a
refinement of the relational model of linear logic
. A finiteness space is a set equipped with a clas
s of finitary subsets which can be thought of bein
g subsets that behave like finite sets. A morphism
between finiteness spaces is a relation that pres
erves the finitary structure. This model allows fo
r a finer analysis of the computational aspects of
the relational model and it provided a semantical
motivation for differential linear logic and the
syntactic notion of Taylor expansion. In this talk
\, I will present a bicategorical generalization o
f this construction where the relational model is
replaced with the model of generalized species of
structures introduced by Fiore and the finitary pr
operty now relies on finite presentability.
LOCATION:Computer Lab\, FW26
CONTACT:Jean Pichon-Pharabod
END:VEVENT
END:VCALENDAR