Topology, Algebra and Categories in Logic: Lecture Notes of the Coimbra Tacl Summer School, 14-18 June 2022
暫譯: 邏輯中的拓撲、代數與範疇：2022年6月14日至18日科英布拉TACL夏季學校講義

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.

Maria Manuel Clementino 是科英布拉大學數學系的全職教授，也是數學研究中心的成員。她的主要研究貢獻集中在範疇方法在拓撲學和代數中的應用。她擔任多本科學期刊的編輯委員會成員，並且是範疇理論指導委員會的主席。 Mai Gehrke 是法國國家科學研究中心 (CNRS) 的計算機科學高級研究主任，任職於法國尼斯的藍色海岸大學數學系。她的主要貢獻包括斯通對偶、典範擴展以及在邏輯和理論計算機科學中的應用。她是 TACL 系列的創始人之一。 Jorge Picado 是科英布拉大學數學系的全職教授，也是數學研究中心的成員。他的研究興趣包括無點拓撲和有序結構。他是《Frames and Locales: Topology Without Points》和《Separation in Point-Free Topology》兩本書的共同作者，並擔任期刊《Applied Categorical Structures》、《Order》和《Quaestiones Mathematicae》的編輯委員會成員。