|
Pointed Set
In mathematics, a pointed set (also based set or rooted set) is an ordered pair (X, x_0) where X is a Set (mathematics), set and x_0 is an element of X called the base point (also spelled basepoint). Map (mathematics), Maps between pointed sets (X, x_0) and (Y, y_0)—called based maps, pointed maps, or point-preserving maps—are function (mathematics), functions from X to Y that map one basepoint to another, i.e. maps f \colon X \to Y such that f(x_0) = y_0. Based maps are usually denoted f \colon (X, x_0) \to (Y, y_0). Pointed sets are very simple algebraic structures. In the sense of universal algebra, a pointed set is a set X together with a single nullary operation *: X^0 \to X, which picks out the basepoint. Pointed maps are the homomorphisms of these algebraic structures. The Class (set theory), class of all pointed sets together with the class of all based maps forms a category theory, category. Every pointed set can be converted to an ordinary set by forgetting the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
One-point Compactification
In the mathematical field of topology, the Alexandroff extension is a way to extend a noncompact topological space by adjoining a single point in such a way that the resulting space is compact. It is named after the Russian mathematician Pavel Alexandroff. More precisely, let ''X'' be a topological space. Then the Alexandroff extension of ''X'' is a certain compact space ''X''* together with an open embedding ''c'' : ''X'' → ''X''* such that the complement of ''X'' in ''X''* consists of a single point, typically denoted ∞. The map ''c'' is a Hausdorff compactification if and only if ''X'' is a locally compact, noncompact Hausdorff space. For such spaces the Alexandroff extension is called the one-point compactification or Alexandroff compactification. The advantages of the Alexandroff compactification lie in its simple, often geometrically meaningful structure and the fact that it is in a precise sense minimal among all compactifications; the disadvant ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Distributive Category
In mathematics, a category is distributive if it has finite products and finite coproducts and such that for every choice of objects A,B,C, the canonical map : mathit_A \times\iota_1, \mathit_A \times\iota_2: A\!\times\!B \,+ A\!\times\!C \to A\!\times\!(B+C) is an isomorphism, and for all objects A, the canonical map 0 \to A\times 0 is an isomorphism (where 0 denotes the initial object). Equivalently, if for every object A the endofunctor A \times - defined by B\mapsto A\times B preserves coproducts up to isomorphisms f. It follows that f and aforementioned canonical maps are equal for each choice of objects. In particular, if the functor A \times - has a right adjoint (i.e., if the category is cartesian closed), it necessarily preserves all colimits, and thus any cartesian closed category with finite coproducts (i.e., any bicartesian closed category) is distributive. Example The category of sets is distributive. Let , , and be sets. Then :\begin A\times (B\amalg ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Coproduct
In category theory, the coproduct, or categorical sum, is a construction which includes as examples the disjoint union of sets and of topological spaces, the free product of groups, and the direct sum of modules and vector spaces. The coproduct of a family of objects is essentially the "least specific" object to which each object in the family admits a morphism. It is the category-theoretic dual notion to the categorical product, which means the definition is the same as the product but with all arrows reversed. Despite this seemingly innocuous change in the name and notation, coproducts can be and typically are dramatically different from products within a given category. Definition Let C be a category and let X_1 and X_2 be objects of C. An object is called the coproduct of X_1 and X_2, written X_1 \sqcup X_2, or X_1 \oplus X_2, or sometimes simply X_1 + X_2, if there exist morphisms i_1 : X_1 \to X_1 \sqcup X_2 and i_2 : X_2 \to X_1 \sqcup X_2 that satisfies th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Product (category Theory)
In category theory, the product of two (or more) object (category theory), objects in a category (mathematics), category is a notion designed to capture the essence behind constructions in other areas of mathematics such as the Cartesian product of set (mathematics), sets, the direct product of group (mathematics), groups or ring (mathematics), rings, and the product topology, product of topological spaces. Essentially, the product of a indexed family, family of objects is the "most general" object which admits a morphism to each of the given objects. Definition Product of two objects Fix a category C. Let X_1 and X_2 be objects of C. A product of X_1 and X_2 is an object X, typically denoted X_1 \times X_2, equipped with a pair of morphisms \pi_1 : X \to X_1, \pi_2 : X \to X_2 satisfying the following universal property: * For every object Y and every pair of morphisms f_1 : Y \to X_1, f_2 : Y \to X_2, there exists a unique morphism f : Y \to X_1 \times X_2 such that the follo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Zero Object
In category theory, a branch of mathematics, an initial object of a category is an object in such that for every object in , there exists precisely one morphism . The dual notion is that of a terminal object (also called terminal element): is terminal if for every object in there exists exactly one morphism . Initial objects are also called coterminal or universal, and terminal objects are also called final. If an object is both initial and terminal, it is called a zero object or null object. A pointed category is one with a zero object. A strict initial object is one for which every morphism into is an isomorphism. Examples * The empty set is the unique initial object in Set, the category of sets. Every one-element set ( singleton) is a terminal object in this category; there are no zero objects. Similarly, the empty space is the unique initial object in Top, the category of topological spaces and every one-point space is a terminal object in this category. * I ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Terminal Object
In category theory, a branch of mathematics, an initial object of a category is an object in such that for every object in , there exists precisely one morphism . The dual notion is that of a terminal object (also called terminal element): is terminal if for every object in there exists exactly one morphism . Initial objects are also called coterminal or universal, and terminal objects are also called final. If an object is both initial and terminal, it is called a zero object or null object. A pointed category is one with a zero object. A strict initial object is one for which every morphism into is an isomorphism. Examples * The empty set is the unique initial object in Set, the category of sets. Every one-element set ( singleton) is a terminal object in this category; there are no zero objects. Similarly, the empty space is the unique initial object in Top, the category of topological spaces and every one-point space is a terminal object in this category. * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Initial Object
In category theory, a branch of mathematics, an initial object of a category is an object in such that for every object in , there exists precisely one morphism . The dual notion is that of a terminal object (also called terminal element): is terminal if for every object in there exists exactly one morphism . Initial objects are also called coterminal or universal, and terminal objects are also called final. If an object is both initial and terminal, it is called a zero object or null object. A pointed category is one with a zero object. A strict initial object is one for which every morphism into is an isomorphism. Examples * The empty set is the unique initial object in Set, the category of sets. Every one-element set ( singleton) is a terminal object in this category; there are no zero objects. Similarly, the empty space is the unique initial object in Top, the category of topological spaces and every one-point space is a terminal object in this category. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Singleton Set
In mathematics, a singleton (also known as a unit set or one-point set) is a set with exactly one element. For example, the set \ is a singleton whose single element is 0. Properties Within the framework of Zermelo–Fraenkel set theory, the axiom of regularity guarantees that no set is an element of itself. This implies that a singleton is necessarily distinct from the element it contains, thus 1 and \ are not the same thing, and the empty set is distinct from the set containing only the empty set. A set such as \ is a singleton as it contains a single element (which itself is a set, but not a singleton). A set is a singleton if and only if its cardinality is . In von Neumann's set-theoretic construction of the natural numbers, the number 1 is ''defined'' as the singleton \. In axiomatic set theory, the existence of singletons is a consequence of the axiom of pairing: for any set ''A'', the axiom applied to ''A'' and ''A'' asserts the existence of \, which is the same as the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Equivalence Of Categories
In category theory, a branch of abstract mathematics, an equivalence of categories is a relation between two Category (mathematics), categories that establishes that these categories are "essentially the same". There are numerous examples of categorical equivalences from many areas of mathematics. Establishing an equivalence involves demonstrating strong similarities between the mathematical structures concerned. In some cases, these structures may appear to be unrelated at a superficial or intuitive level, making the notion fairly powerful: it creates the opportunity to "translate" theorems between different kinds of mathematical structures, knowing that the essential meaning of those theorems is preserved under the translation. If a category is equivalent to the dual (category theory), opposite (or dual) of another category then one speaks of a duality of categories, and says that the two categories are dually equivalent. An equivalence of categories consists of a functor betwe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Commutative Diagram
350px, The commutative diagram used in the proof of the five lemma In mathematics, and especially in category theory, a commutative diagram is a diagram such that all directed paths in the diagram with the same start and endpoints lead to the same result. It is said that commutative diagrams play the role in category theory that equations play in algebra. Description A commutative diagram often consists of three parts: * objects (also known as ''vertices'') * morphisms (also known as ''arrows'' or ''edges'') * paths or composites Arrow symbols In algebra texts, the type of morphism can be denoted with different arrow usages: * A monomorphism may be labeled with a \hookrightarrow or a \rightarrowtail. * An epimorphism may be labeled with a \twoheadrightarrow. * An isomorphism may be labeled with a \overset. * The dashed arrow typically represents the claim that the indicated morphism exists (whenever the rest of the diagram holds); the arrow may be optionally labeled as \e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
