Relating and Studying Mathematical Theories Through Topos-Theoretic 'bridges'
Author: Olivia Caramello
Publisher: Oxford University Press
According to Grothendieck, the notion of topos is "the bed or deep river where come to be married geometry and algebra, topology and arithmetic, mathematical logic and category theory, the world of the continuous and that of discontinuous or discrete structures." It is what he had "conceived of most broad to perceive with finesse, by the same language rich of geometric resonances, an "essence" which is common to situations most distant from each other, coming from one region or another of the vast universe of mathematical things." The aim of this book is to present a theory and a number of techniques which allow to give substance to Grothendieck's vision by building on the notion of classifying topos educed by categorical logicians. Mathematical theories (formalized within first-order logic) give rise to geometric objects called sites; the passage from sites to their associated toposes embodies the passage from the logical presentation of theories to their mathematical content, i.e. from syntax to semantics. The essential ambiguity given by the fact that any topos is associated in general with an infinite number of theories or different sites allows to study the relations between different theories, and hence the theories themselves, by using toposes as 'bridges' between these different presentations. The expression or calculation of invariants of toposes in terms of the theories associated with them or their sites of definition generates a great number of results and notions varying according to the different types of presentation, giving rise to a veritable mathematical morphogenesis.
Based on the authors’ research experience, this two-volume reference textbook focuses on the theory of generalized locally Toeplitz sequences and its applications. The first volume discusses the univariate version of the theory and the related applications in the unidimensional setting, while this second volume, which addresses the multivariate case, is mainly devoted to concrete PDE applications. This book systematically develops the multivariate version of the theory of generalized locally Toeplitz (GLT) sequences and presents some of its main applications to the numerical discretization of partial differential equations (PDEs). Written for applied mathematicians, engineers, physicists, and scientists who (perhaps unknowingly) encounter GLT sequences in their research, it is also of interest to those working in the fields of Fourier and functional analysis, spectral analysis of PDE discretization matrices, matrix analysis, numerical analysis, linear and multilinear algebra. Further, it can be used as a textbook for graduate or advanced undergraduate courses in numerical analysis.
21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
Author: Christel Baier
This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata.