Skip to: Site menu | Main content

2017 - 2018
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 Tuesdays. 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.

Next Talk

19 September 2017, 14:30, Aula C (first floor), Dipartimento di Matematica "Federigo Enriques", via Saldini 50, Milano
Matias Menni,
Universidad Nacional de La Plata
Ten years of Axiomatic Cohesion
Lawvere observes in the Author Commentary of [L5] that 'The simple idea at the core of this paper has not yet been much pursued by workers in topos theory'. This simple idea to axiomatise the 'distinctive internal connectedness of a topos that models all spaces of a `general' combinatorial, algebraic, or smooth kind' is revisited in [L7]. This 2007 paper has incited other workers to pursue the idea. The purpose of the talk is to recall the axioms in [L5], explain the new ideas introduced in [L7] and discuss some of the work that it incited. In particular, that by Johnstone, by Marmolejo, by the speaker and by Lawvere himself.

[L5] Lawvere, F. W. Categories of spaces may not be generalized spaces as exemplified by directed graphs. Reprinted from Rev. Colombiana Mat. 20 (1986), no. 3-4, 179-185. Repr. Theory Appl. Categ. No. 9 (2005), 1-7.

[L7] Lawvere, F. W. Axiomatic cohesion. Theory Appl. Categ. 19 (2007), No. 3, 41-49.