Jorge Picado - Böcker

This book is the first systematic treatment of this area so far scattered in a vast number of articles. As in classical topology, concrete problems require restricting the (generalized point-free) spaces by various conditions playing the roles of classical separation axioms. These are typically formulated in the language of points; but in the point-free context one has either suitable translations, parallels, or satisfactory replacements. The interrelations of separation type conditions, their merits, advantages and disadvantages, and consequences are discussed. Highlights of the book include a treatment of the merits and consequences of subfitness, various approaches to the Hausdorff's axiom, and normality type axioms. Global treatment of the separation conditions put them in a new perspective, and, a.o., gave some of them unexpected importance. The text contains a lot of quite recent results; the reader will see the directions the area is taking, and may find inspirationfor her/his further work.The book will be of use for researchers already active in the area, but also for those interested in this growing field (sometimes even penetrating into some parts of theoretical computer science), for graduate and PhD students, and others. For the reader's convenience, the text is supplemented with an Appendix containing necessary background on posets, frames and locales.

This book is the first systematic treatment of this area so far scattered in a vast number of articles. As in classical topology, concrete problems require restricting the (generalized point-free) spaces by various conditions playing the roles of classical separation axioms. These are typically formulated in the language of points; but in the point-free context one has either suitable translations, parallels, or satisfactory replacements. The interrelations of separation type conditions, their merits, advantages and disadvantages, and consequences are discussed. Highlights of the book include a treatment of the merits and consequences of subfitness, various approaches to the Hausdorff's axiom, and normality type axioms. Global treatment of the separation conditions put them in a new perspective, and, a.o., gave some of them unexpected importance. The text contains a lot of quite recent results; the reader will see the directions the area is taking, and may find inspirationfor her/his further work.The book will be of use for researchers already active in the area, but also for those interested in this growing field (sometimes even penetrating into some parts of theoretical computer science), for graduate and PhD students, and others. For the reader's convenience, the text is supplemented with an Appendix containing necessary background on posets, frames and locales.

This book collects the groundbreaking research presented at the plenary lectures of the First Brazil-Portugal Joint Meeting in Mathematics, held in Salvador, Brazil, from August 14 to 20, 2022. This historic event marked the bicentennial of Brazil's independence and celebrated the strengthening of scientific cooperation between the two nations. With contributions from international experts, these proceedings provide a comprehensive overview of the latest advances in various areas of mathematics. It contains a stimulating mix of research articles and exclusive surveys of the state of the art in current topics. It collects 7 articles on various topics, including transmission problems and PDEs, linear and nonlinear fractional PDEs of interacting particle systems, complexity in continuous optimization, Poisson manifolds, real and complex singularities, Reeb flows, and statistical extreme value theory. It serves as a testament to the growing partnership between the Brazilian and Portuguese mathematical communities.This volume will serve as a source of inspiration for a broad range of researchers and research students, especially professional mathematicians with ties to Brazil and/or Portugal.

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.