COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |
University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > A Profunctorial Finiteness Semantics
A Profunctorial Finiteness SemanticsAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Jean Pichon-Pharabod. 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 class of finitary subsets which can be thought of being subsets that behave like finite sets. A morphism between finiteness spaces is a relation that preserves the finitary structure. This model allows for 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 of this construction where the relational model is replaced with the model of generalized species of structures introduced by Fiore and the finitary property now relies on finite presentability. This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsEllen McArthur Lectures Wolfson Brain Imaging Centre Hearing Group MeetingsOther talksThe Dr Raj Chandavarkar Seminar - Global Islam: what is it and where did it come from? CANCELLED - Autumn Cactus & Succulent Show Like the Back of Your Hand Adapting shoot morphology to seasons and climates CANCELLED - Mexico 2016: Puebla, Oaxaca, and much more Characterizing global small-scale heterogeneity in the mantle – Interrogating the high-frequency, scattered seismic wavefield |