|
Mapping Space
In mathematics, the category of compactly generated weak Hausdorff spaces CGWH is one of typically used categories in algebraic topology as a substitute for the category of topological spaces, as the latter lacks some of the pleasant properties one would desire. There is also such a category for based spaces, defined by requiring maps to preserve the base points. The articles compactly generated space and weak Hausdorff space define the respective topological properties. For the historical motivation behind these conditions on spaces, see Compactly generated space#Motivation. This article focuses on the properties of the category. Properties CGWH has the following properties: *It is complete and cocomplete. *The forgetful functor to the sets preserves small limits. *It contains all the locally compact Hausdorff spaces and all the CW complexes. *The internal Hom exists for any pairs of spaces ''X'', ''Y''; it is denoted by \operatorname(X, Y) or Y^X and is called the (free) mappi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Compactly Generated Space
In topology, a compactly generated space is a topological space whose topology is coherent with the family of all compact subspaces. Specifically, a topological space ''X'' is compactly generated if it satisfies the following condition: :A subspace ''A'' is closed in ''X'' if and only if ''A'' ∩ ''K'' is closed in ''K'' for all compact subspaces ''K'' ⊆ ''X''. Equivalently, one can replace ''closed'' with ''open'' in this definition. If ''X'' is coherent with any cover of compact subspaces in the above sense then it is, in fact, coherent with all compact subspaces. A Hausdorff-compactly generated space or k-space is a topological space whose topology is coherent with the family of all compact Hausdorff subspaces. Sometimes in the literature a compactly generated space refers to a Hausdorff-compactly generated space. In these cases compactness is often explicitly redefined at the beginning to mean both compact and Hausdorff (and quasi-compact takes the meaning of compact). In ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Weak Hausdorff Space
In mathematics, a weak Hausdorff space or weakly Hausdorff space is a topological space where the image of every continuous map from a compact Hausdorff space into the space is closed. In particular, every Hausdorff space is weak Hausdorff. As a separation property, it is stronger than T1, which is equivalent to the statement that points are closed. Specifically, every weak Hausdorff space is a T1 space. The notion was introduced by M. C. McCord to remedy an inconvenience of working with the category of Hausdorff spaces. It is often used in tandem with compactly generated spaces in algebraic topology. For that, see the category of compactly generated weak Hausdorff spaces. k-Hausdorff spaces A k-Hausdorff space is a topological space which satisfies any of the following equivalent conditions: * Each compact subspace is Hausdorff. * The diagonal \ is k-closed in X \times X. * Each compact subspace is closed and strongly locally compact. In these characterizations: * A s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Topology
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariant (mathematics), invariants that classification theorem, classify topological spaces up to homeomorphism, though usually most classify up to Homotopy#Homotopy equivalence and null-homotopy, homotopy equivalence. Although algebraic topology primarily uses algebra to study topological problems, using topology to solve algebraic problems is sometimes also possible. Algebraic topology, for example, allows for a convenient proof that any subgroup of a free group is again a free group. Main branches of algebraic topology Below are some of the main areas studied in algebraic topology: Homotopy groups In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, which records information about loops in a space. Intuitively, homotopy gro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Category Of Topological Spaces
In mathematics, the category of topological spaces, often denoted Top, is the category whose objects are topological spaces and whose morphisms are continuous maps. This is a category because the composition of two continuous maps is again continuous, and the identity function is continuous. The study of Top and of properties of topological spaces using the techniques of category theory is known as categorical topology. N.B. Some authors use the name Top for the categories with topological manifolds, with compactly generated spaces as objects and continuous maps as morphisms or with the category of compactly generated weak Hausdorff spaces. As a concrete category Like many categories, the category Top is a concrete category, meaning its objects are sets with additional structure (i.e. topologies) and its morphisms are functions preserving this structure. There is a natural forgetful functor :''U'' : Top → Set to the category of sets which assigns to each topological spa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Compactly Generated Space
In topology, a compactly generated space is a topological space whose topology is coherent with the family of all compact subspaces. Specifically, a topological space ''X'' is compactly generated if it satisfies the following condition: :A subspace ''A'' is closed in ''X'' if and only if ''A'' ∩ ''K'' is closed in ''K'' for all compact subspaces ''K'' ⊆ ''X''. Equivalently, one can replace ''closed'' with ''open'' in this definition. If ''X'' is coherent with any cover of compact subspaces in the above sense then it is, in fact, coherent with all compact subspaces. A Hausdorff-compactly generated space or k-space is a topological space whose topology is coherent with the family of all compact Hausdorff subspaces. Sometimes in the literature a compactly generated space refers to a Hausdorff-compactly generated space. In these cases compactness is often explicitly redefined at the beginning to mean both compact and Hausdorff (and quasi-compact takes the meaning of compact). In ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complete Category
In mathematics, a complete category is a category in which all small limits exist. That is, a category ''C'' is complete if every diagram ''F'' : ''J'' → ''C'' (where ''J'' is small) has a limit in ''C''. Dually, a cocomplete category is one in which all small colimits exist. A bicomplete category is a category which is both complete and cocomplete. The existence of ''all'' limits (even when ''J'' is a proper class) is too strong to be practically relevant. Any category with this property is necessarily a thin category: for any two objects there can be at most one morphism from one object to the other. A weaker form of completeness is that of finite completeness. A category is finitely complete if all finite limits exists (i.e. limits of diagrams indexed by a finite category ''J''). Dually, a category is finitely cocomplete if all finite colimits exist. Theorems It follows from the existence theorem for limits that a category is complete if and only if it has equalizers (of all ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
CW Complexes
A CW complex (also called cellular complex or cell complex) is a kind of a topological space that is particularly important in algebraic topology. It was introduced by J. H. C. Whitehead (open access) to meet the needs of homotopy theory. This class of spaces is broader and has some better categorical properties than simplicial complexes, but still retains a combinatorial nature that allows for computation (often with a much smaller complex). The ''C'' stands for "closure-finite", and the ''W'' for "weak" topology. Definition CW complex A CW complex is constructed by taking the union of a sequence of topological spaces\emptyset = X_ \subset X_0 \subset X_1 \subset \cdotssuch that each X_k is obtained from X_ by gluing copies of k-cells (e^k_\alpha)_\alpha, each homeomorphic to D^k, to X_ by continuous gluing maps g^k_\alpha: \partial e^k_\alpha \to X_. The maps are also called attaching maps. Each X_k is called the k-skeleton of the complex. The topology of X = \cup_ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Internal Hom
In mathematics, specifically in category theory, hom-sets (i.e. sets of morphisms between objects) give rise to important functors to the category of sets. These functors are called hom-functors and have numerous applications in category theory and other branches of mathematics. Formal definition Let ''C'' be a locally small category (i.e. a category for which hom-classes are actually sets and not proper classes). For all objects ''A'' and ''B'' in ''C'' we define two functors to the category of sets as follows: : The functor Hom(–, ''B'') is also called the ''functor of points'' of the object ''B''. Note that fixing the first argument of Hom naturally gives rise to a covariant functor and fixing the second argument naturally gives a contravariant functor. This is an artifact of the way in which one must compose the morphisms. The pair of functors Hom(''A'', –) and Hom(–, ''B'') are related in a natural manner. For any pair of morphisms ''f'' : ''B'' → ''B'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cartesian Closed Category
In category theory, a category is Cartesian closed if, roughly speaking, any morphism defined on a product of two objects can be naturally identified with a morphism defined on one of the factors. These categories are particularly important in mathematical logic and the theory of programming, in that their internal language is the simply typed lambda calculus. They are generalized by closed monoidal categories, whose internal language, linear type systems, are suitable for both quantum and classical computation. Etymology Named after (1596–1650), French philosopher, mathematician, and scientist, whose formulation of analytic geometry gave rise to the concept of Cartesian product, which was later generalized to the notion of categorical product. Definition The category ''C'' is called Cartesian closed if and only if it satisfies the following three properties: * It has a terminal object. * Any two objects ''X'' and ''Y'' of ''C'' have a product ''X'' ×''Y'' in ''C' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Smash Product
In topology, a branch of mathematics, the smash product of two pointed spaces (i.e. topological spaces with distinguished basepoints) (''X,'' ''x''0) and (''Y'', ''y''0) is the quotient of the product space ''X'' × ''Y'' under the identifications (''x'', ''y''0) ∼ (''x''0, ''y'') for all ''x'' in ''X'' and ''y'' in ''Y''. The smash product is itself a pointed space, with basepoint being the equivalence class of (''x''0, ''y''0). The smash product is usually denoted ''X'' ∧ ''Y'' or ''X'' ⨳ ''Y''. The smash product depends on the choice of basepoints (unless both ''X'' and ''Y'' are homogeneous). One can think of ''X'' and ''Y'' as sitting inside ''X'' × ''Y'' as the subspaces ''X'' × and × ''Y''. These subspaces intersect at a single point: (''x''0, ''y''0), the basepoint of ''X'' × ''Y''. So the union of these subspaces can be identified with the wedge sum ''X'' â ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Topology
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariant (mathematics), invariants that classification theorem, classify topological spaces up to homeomorphism, though usually most classify up to Homotopy#Homotopy equivalence and null-homotopy, homotopy equivalence. Although algebraic topology primarily uses algebra to study topological problems, using topology to solve algebraic problems is sometimes also possible. Algebraic topology, for example, allows for a convenient proof that any subgroup of a free group is again a free group. Main branches of algebraic topology Below are some of the main areas studied in algebraic topology: Homotopy groups In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, which records information about loops in a space. Intuitively, homotopy gro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
