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: X → Y 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)
“Of course I’m a black writer.... I’m not just a black writer, but categories like black writer, woman writer and Latin American writer aren’t marginal anymore. We have to acknowledge that the thing we call “literature” is more pluralistic now, just as society ought to be. The melting pot never worked. We ought to be able to accept on equal terms everybody from the Hassidim to Walter Lippmann, from the Rastafarians to Ralph Bunche.”
—Toni Morrison (b. 1931)
“In frames as large as rooms that face all ways
And block the ends of streets with giant loaves,
Screen graves with custard, cover slums with praise
Of motor-oil and cuts of salmon, shine
Perpetually these sharply-pictured groves
Of how life should be.”
—Philip Larkin (1922–1986)