Pointless Topology - Categories of Frames and Locales

Categories of Frames and Locales

Formally, a frame is defined to be a lattice L in which finite meets distribute over arbitrary joins, i.e. every (even infinite) subset {ai} of L has a supremum ⋁ai such that

for all b in L. These frames, together with lattice homomorphisms that respect arbitrary suprema, form a category. The dual of the category of frames is called the category of locales and generalizes the category Top of all topological spaces with continuous functions. The consideration of the dual category is motivated by the fact that every continuous map between topological spaces X and Y induces a map between the lattices of open sets in the opposite direction as for every continuous function f: XY and every open set O in Y the inverse image f -1(O) is an open set in X.

Read more about this topic:  Pointless Topology

Famous quotes containing the words categories of, categories and/or frames:

    Kitsch ... is one of the major categories of the modern object. Knick-knacks, rustic odds-and-ends, souvenirs, lampshades, and African masks: the kitsch-object is collectively this whole plethora of “trashy,” sham or faked objects, this whole museum of junk which proliferates everywhere.... Kitsch is the equivalent to the “cliché” in discourse.
    Jean Baudrillard (b. 1929)

    The analogy between the mind and a computer fails for many reasons. The brain is constructed by principles that assure diversity and degeneracy. Unlike a computer, it has no replicative memory. It is historical and value driven. It forms categories by internal criteria and by constraints acting at many scales, not by means of a syntactically constructed program. The world with which the brain interacts is not unequivocally made up of classical categories.
    Gerald M. Edelman (b. 1928)

    ... though it is by no means requisite that the American women should emulate the men in the pursuit of the whale, the felling of the forest, or the shooting of wild turkeys, they might, with advantage, be taught in early youth to excel in the race, to hit a mark, to swim, and in short to use every exercise which could impart vigor to their frames and independence to their minds.
    Frances Wright (1795–1852)