[Dottorcomp] Insalate di Matematica - F. Guffanti (Thursday 6/05)

[Mbs Insalate Di Matematica]

As part of the series of seminars *"Insalate di Matematica"*, Francesca
Guffanti, PhD student at the University of Milan, will deliver an online
talk. Here the details:

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

*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.


The event will be held via Google Meet platform at the following link:
meet.google.com/vxb-zhux-veg

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

You can find the poster of the event in the attachment. We are looking
forward to seeing you!

For further information, please visit our website:
https://sites.google.com/view/insalate-di-matematica


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/20210430/0ab00620/attachment-0001.htm 
-------------- parte successiva --------------
Un allegato non testuale è stato rimosso....
Nome:        21-05-06 Francesca Guffanti.pdf
Tipo:        application/pdf
Dimensione:  285298 bytes
Descrizione: non disponibile
Url:         http://ipv01.unipv.it/pipermail/dottorcomp/attachments/20210430/0ab00620/attachment-0001.pdf