Coverages give free constructions for partial frames

DOI10.1007/s10485-015-9417-8zbMath1423.06038OpenAlexW2255642751MaRDI QIDQ2014013

Anneliese Schauerte, J. L. Frith

Publication date: 10 August 2017

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10485-015-9417-8

zbMATH Keywords

latticefreecoproductframemeet-semilatticecoveragesite\(\kappa\)-frame\(\sigma\)-framepartial frame\(\mathcal {S}\)-frameadjoining complementspre \(\mathcal {S}\)-frame

Mathematics Subject Classification ID

Frames, locales (06D22) Lattice ideals, congruence relations (06B10) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Semilattices (06A12) Free lattices, projective lattices, word problems (06B25)

Related Items (7)

A look at the structure of congruence frames by means of Heyting congruences ⋮ Variants of Booleanness: congruences of a partial frame versus those of its free frame ⋮ Closed and open maps for partial frames ⋮ The congruence frame and the Madden quotient for partial frames ⋮ Meet-semilattice congruences on a frame ⋮ Compactifications and reflections of partial spaces via partial frames ⋮ Partial frames and filter spaces

Cites Work

• Completions of uniform partial frames
• Higher order dissolutions and Boolean coreflections of locales
• A presentation of the assembly of a frame by generators and relations exhibits its bitopological structure.
• Categories of partial frames
• \(\kappa\)-frames
• Frames and Locales
• An extension of the Galois theory of Grothendieck
• Two notes on frames
• Spaces with Boolean assemblies
• On projective Z-frames
• The Stone-Čech compactification of a partial frame via ideals and cozero elements
• Notes on the Product of Locales
• THE FRAME ENVELOPE OF A σ-FRAME
• Atomless Parts of Spaces.
• Realcompactness and the cozero part of a frame
• Sublocale lattices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Coverages give free constructions for partial frames