Discover published sets by community

A locale is a complete Heyting algebra, generalizing the notion of a space by considering the lattice of open sets and their relationships.

A point of a locale can be understood as a frame homomorphism from the frame of opens of the locale to the frame of opens of the Sierpiński space.

In locale theory, a frame is a complete lattice in which finite meets distribute over arbitrary joins, thus generalizing the lattice of open sets of a topological space.

A frame homomorphism is a function between two frames that preserves finite meets (including the top element) and arbitrary joins (including the bottom element), analogous to continuous maps between topological spaces.

The Sierpiński space is a topological space with two points, one open and the other closed. It is often used in locale theory to define points of a locale.

A sublocale is a generalization of a subspace in topology, defined by a subframe of a frame which is closed under arbitrary meets and directed joins.

A Heyting algebra is a bounded lattice that is also a category in which every hom-set is a sublattice and is distributive, allowing implication operations.