BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A Profunctorial Finiteness Semantics - Zeinab Galal
DTSTART:20200221T140000Z
DTEND:20200221T150000Z
UID:TALK139822@talks.cam.ac.uk
CONTACT:Jean Pichon-Pharabod
DESCRIPTION:Finiteness spaces were introduced by Ehrhard as a refinement o
 f the relational model of linear logic. A finiteness space is a set equipp
 ed with a class of finitary subsets which can be thought of being subsets 
 that behave like finite sets. A morphism between finiteness spaces is a re
 lation that preserves the finitary structure. This model allows for a fine
 r analysis of the computational aspects of the relational model and it pro
 vided a semantical motivation for differential linear logic and the syntac
 tic notion of Taylor expansion. In this talk\, I will present a bicategori
 cal generalization of this construction where the relational model is repl
 aced with the model of generalized species of structures introduced by Fio
 re and the finitary property now relies on finite presentability.
LOCATION:Computer Lab\, FW26
END:VEVENT
END:VCALENDAR