Compact Course "Category theory and point-free topology"

January 30, 2020

The course will take place on March 9-27, 2020. Timetable below.

Category theory and point-free topology

The Compact Course “Category Theory and Point-Free Topology” is primarily aimed at both undergraduate, graduate and postgraduate students in mathematics with an interest in the intersection between logic, algebra and topology. The event will take place at the Department of Computer Science of the University of Verona, located in Strada le Grazie 15, Verona (Italy).

Lecturer
Simon Henry (University of Ottawa)

Summary
“Point-free topology” is the theory of “locales”. They are a type of spaces, very similar to topological spaces, except that they might not have an underlying set of points. Locales that have enough points are the same as topological spaces, but some locales have no points and are completely new objects. We will see how many notions and constructions of ordinary topology carry over to locales. Later in the course I will talk about the internal logic of categories of sheaves, which provide an extremely powerful tool to work with locales. I will explain how these mysterious “spaces without points” are closely connected to ‘forcing’ in set theory, as well as the strong connection between the the theory of locales and intuitionistic mathematics. The course will start with a basic introduction to category theory, including limits and co-limits, epi and monomorphisms, adjoint functors and adjoint functor theorem, etc. The theory of locales will give many illustrations and interesting example of these concepts.

Timetable
Monday, March 9, 13:40-16:10, Aula M.
Wednesday, March 11, 13:40-15:20, Aula G.
Friday, March 13, 13:40-16:10, Sala Riunioni Secondo Piano.
Monday, March 16, 13:40-16:10, Aula M.
Wednesday, March 18, 13:40-15:20, Aula G.
Friday, March 20, 13:40-16:10, Sala Riunioni Secondo Piano.
Monday, March 23, 13:40-16:10, Aula M.
Wednesday, March 25, 13:40-15:20, Aula G.
Friday, March 27, 13:40-16:10, Sala Riunioni Secondo Piano.

Registration
Participation is free. Participants not affiliated at the University of Verona are kindly asked to register by sending an e-mail to Giulio Fellin no later than 27 February 2020.

Acknowledgements
This compact course is run as part of the “Mathematics Mini-Courses” of the University of Verona, and within the projects “A New Dawn of Intuitionism: Mathematical and Philosophical Advances” (ID 60842) of the John Templeton Foundation, and “Reducing complexity in algebra, logic, combinatorics - REDCOM” belonging to the programme “Ricerca Scientifica di Eccellenza 2018” of the Fondazione Cariverona.

Contact
peter.schuster@univr.it
giulio.fellin@univr.it
Course page on univr.it