Listing 1 - 2 of 2 |
Sort by
|
Choose an application
Introducing Stone-Priestley duality theory and its applications to logic and theoretical computer science, this book equips graduate students and researchers with the theoretical background necessary for reading and understanding current research in the area. After giving a thorough introduction to the algebraic, topological, logical, and categorical aspects of the theory, the book covers two advanced applications in computer science, namely in domain theory and automata theory. These topics are at the forefront of active research seeking to unify semantic methods with more algorithmic topics in finite model theory. Frequent exercises punctuate the text, with hints and references provided.
Choose an application
"We introduce a theory of stratifications of noncommutative stacks (i.e., presentable stable-categories), and we prove a reconstruction theorem that expresses them in terms of their strata and gluing data. This reconstruction theorem is compatible with symmetric monoidal structures, and with more general operadic structures such as En-monoidal structures. We also provide a suite of fundamental operations for constructing new stratifications from old ones: restriction, pullback, quotient, pushforward, and refinement. Moreover, we establish a dual form of reconstruction; this is closely related to Verdier duality and reflection functors, and gives a categorification of M"obius inversion. Our main application is to equivariant stable homotopy theory: for any compact Lie group G, we give a symmetric monoidal stratification of genuine G-spectra. In the case that G is finite, this expresses genuine G-spectra in terms of their geometric fixedpoints (as homotopy-equivariant spectra) and gluing data therebetween (which are given by proper Tate constructions). We also prove an adelic reconstruction theorem; this applies not just to ordinary schemes but in the more general context of tensor-triangular geometry, where we obtain a symmetric monoidal stratification over the Balmer spectrum. We discuss the particular example of chromatic homotopy theory"--
Stratified sets. --- Noncommutative rings. --- Geometry, Algebraic. --- Homotopy theory. --- Reconstruction (Graph theory) --- Algebraic geometry -- Foundations -- Noncommutative algebraic geometry. --- Algebraic topology -- Homotopy theory -- Equivariant homotopy theory. --- Algebraic topology -- Applied homological algebra and category theory -- Duality. --- Manifolds and cell complexes -- Topological manifolds -- Stratifications. --- Algebraic geometry -- Local theory -- Formal neighborhoods. --- Algebraic topology -- Spectral sequences -- General. --- Noncommutative differential geometry.
Listing 1 - 2 of 2 |
Sort by
|