Narrow your search

Library

ULiège (2)

VUB (1)


Resource type

book (2)


Language

English (2)


Year
From To Submit

2024 (2)

Listing 1 - 2 of 2
Sort by

Book
Topological duality for distributive lattices : theory and applications
Authors: ---
ISBN: 9781009349680 1009349686 9781009349697 1009349716 9781009349710 Year: 2024 Publisher: Cambridge, England : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.


Book
Stratified Noncommutative Geometry
Authors: --- ---
ISBN: 9781470478339 Year: 2024 Publisher: Providence, RI : American Mathematical Society,

Loading...
Export citation

Choose an application

Bookmark

Abstract

"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"--

Listing 1 - 2 of 2
Sort by