Topology, Algebra and Categories in Logic

Lecture Notes of the Coimbra TACL Summer School, 14-18 June 2022
Erscheinungsjahr 2026
ISBN: 978-3-032-13759-3
Verlag: Springer

Buch, Englisch, Band 5, 389 Seiten, Format (B × H): 160 mm x 241 mm, Gewicht: 762 g

Reihe: Coimbra Mathematical Texts

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.

Zielgruppe

Graduate

Autoren/Hrsg.

Clementino, Maria Manuel

Gehrke, Mai

Picado, Jorge

Fachgebiete

• Mathematik | Informatik Mathematik Mathematik Allgemein Grundlagen der Mathematik
• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik
• Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
• Mathematik | Informatik Mathematik Topologie
• Mathematik | Informatik Mathematik Algebra

Inhaltsverzeichnis

Chapter 1 Notes on duality theory.- Chapter 2 A Concise and Friendly Introduction to the Analysis of Algorithms for Continuous Nonlinear Optimization.- Chapter 3 Remarks on Non-formal Deformation Quantization of Poisson Manifolds.- Chapter 4 Linear and Nonlinear Fractional PDEs from Interacting Particle Systems.- Chapter 5 On Bi-Lipschitz Classification of Real and Complex Singularities.

Über Autor(innen)

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.