Autumn Semester
These are the pages of the Logic Seminar at the Università degli Studi di Milano and the Università degli Studi dell'Insubria.
The Logic Seminar
Welcome to the web pages of the Logic Seminar at the Università degli Studi di Milano and the Università degli Studi dell'Insubria.
The Seminar usually meets every other week during both the autumn and the spring semester, currently on Mondays. The exact date, time, and place of each meeting are annonunced on these pages.
There are two types of talks at the Seminar. First, we invite visiting researchers, colleagues, or graduate students to give talks on their own research activity. Second, during each semester we run a proper seminar on a given subject that is of interest to a group of participants. Usually, the participants are not experts on that subject, but wish to learn more about it. The participants then take turns in preparing one- or two-hour talks on a specific topic within the chosen subject. The subject we have chosen for the Spring Semester 2008-2009 is Topos Theory. The same series will also be ongoing during the Autumn and Spring Semesters 2009-2010.
Next Talk
27 January 2012, 14.30 Auletta 5, D.I.Co./D.S.I.
Prof. Dirk Hofmann,
Departamento de Matemática Universidade de Aveiro, Portugal
On the structure of natural dualities
In this talk we give a brief overview of the categorical study of duality theorems, an area of category theory which takes a great part of its inspiration from the classical duality theorems of Pontryagin, Gelfand and Stone.
We show how schizophrenic objects induce a dual adjunction between given concrete categories.
This dual adjunction can always be restricted to the "fixed" subcategories and yields a dual equivalence between them.
In general determining these subcategories can be quite difficult, we give some useful results in order to describe them.