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)
“all the categories which we employ to describe conscious mental acts, such as ideas, purposes, resolutions, and so on, can be applied to ... these latent states.”
—Sigmund Freud (1856–1939)
“... 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)