Categories of Boolean sheaves of simple algebras (Q1076791)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Categories of Boolean sheaves of simple algebras
scientific article

    Statements

    Categories of Boolean sheaves of simple algebras (English)
    0 references
    0 references
    0 references
    1986
    0 references
    This book takes the axiomatic point of view toward sheaf representation theorems. There are three chapters: Categories of Boolean sheaves of algebras; Categories of Boolean sheaves of simple algebras (including various Galois theories); and Categories of locally Boolean sheaves of simple algebras. Details of the development must be left to the work itself, but here is a bit of the flavor. A category is locally indecomposable if it is locally finitely presentable, the product of the initial object with itself is finitely presentable, and the finite products are codisjoint and couniversal. A direct factor of an object \(A\) is a quotient \(f: A\to B\) for which there exists \(g: A\to C\) so that \((f,g)\) makes \(A\) a product of \(B\) and \(C\). An object is indecomposable if it has exactly two direct factors. Theorem 1.7.3: Any locally indecomposable category is equivalent to the category of sheaves of indecomposable objects on Boolean spaces. Those readers interested in such results will want to compare and contrast the paper by \textit{M. Coste} [Applications of sheaves, Proc. Res. Symp., Durham 1977, Lect. Notes Math. 753, 212--238 (1979; Zbl 0422.18007)].
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    locally finite presentable category
    0 references
    locally indecomposable
    0 references
    category
    0 references
    sheaf representation
    0 references
    sheaves of algebras
    0 references
    Boolean sheaves of simple algebras
    0 references
    Galois theories
    0 references
    locally Boolean sheaves
    0 references
    direct factor
    0 references
    indecomposable objects
    0 references
    Boolean spaces
    0 references