[Dottorcomp] Insalate di Matematica - F. Guffanti (reminder)

[Mbs Insalate Di Matematica]

Dear all,

as a part of the series of seminars *"Insalate di Matematica"*, we remind
you that tomorrow there will be a seminar held by Francesca Guffanti
(University of Milan). Here the details:

*Google Meet access link*: meet.google.com/vxb-zhux-veg

*Date and time*: *6th May **2021, 11:00 am **(be careful with the change of
starting time)*

*Speaker*: *Francesca Guffanti (University of Milan) *

*Title*: *"An introduction to Lawvere's doctrines"*

*Abstract*: Doctrines were introduced by Lawvere in 1969 as mathematical
structures capable of synthesizing the structural properties of a logical
 system, giving a possible way to study logic within category theory. A
doctrine is a presheaf on a small category (with finite products) taking
values in partially ordered sets. To any given first order theory one can
associate a doctrine by attaching to each finite list of variables the poset of
the formulae that can be written using those free variables, ordered by
provable reciprocal consequence. During the talk we will discuss the
definition of a doctrine, and we will explain how the main logic-theoretical
notions can be translated into the doctrine-theoretical language.

*Keywords*: Lawvere's doctrines, categorical logic, adjunctions.

*** We inform you that this talk will be recorded and uploaded on our
website. If you join the seminar after the starting time, we kindly ask you
to ensure that your microphone and webcam are turned off ***


We are looking forward to seeing you.

The organizers: Luigi Appolloni, Federico Bernini, Francesca Cottini, Luca
Di Gravina, Ludovico Marini
-------------- parte successiva --------------
Un allegato HTML è stato rimosso...
URL: http://ipv01.unipv.it/pipermail/dottorcomp/attachments/20210505/d9c99c71/attachment-0001.htm