Topology, Algebra And Categories In Logic: Lecture Notes Of The Coimbra Tacl Summer School, 14"18 June 2022

This book provides a comprehensive introduction to some key subjects in logic, category theory, algebra and topology. Its five chapters contain the written records of the five courses of the 2022 TACL Summer School (Mira, Portugal, June 14-18, 2022), addressed to graduate students and more experienced mathematicians working in algebra, topology, categories and logic. This volume can help researchers to quickly get into the subject by offering «self-contained» introductions to the subjects.

Maria Manuel Clementino is Full Professor at the Department of Mathematics and a member of the Research Centre for Mathematics of the University of Coimbra. Her main research contributions focus on the application of categorical methods in topology and algebra. She serves on the editorial board of several scientific journals and chairs the Steering Committee on Category Theory.

Mai Gehrke is Senior Research Director in Computer Science at the French National Centre for Scientific Research (CNRS) working at the Department of Mathematics of Université Côte d’Azur in Nice, France. Her main contributions are in Stone duality, canonical extensions, and applications in logic and theoretical computer science. She is one of the founders of the TACL series. 

Jorge Picado is Full Professor at the Department of Mathematics and a member of the Research Centre for Mathematics of the University of Coimbra. His research interests include point-free topology and ordered structures. He is the co-author of the books Frames and Locales: Topology Without Points and Separation in Point-Free Topology, and serves on the editorial board of the journals Applied Categorical Structures, Order, and Quaestiones Mathematicae.