# CANCELED COMPACT COURSE

**ATTENTION! The compact course below was canceled**

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