|
Zero Morphism
In category theory, a branch of mathematics, a zero morphism is a special kind of morphism exhibiting properties like the morphisms to and from a zero object. Definitions Suppose C is a category, and ''f'' : ''X'' → ''Y'' is a morphism in C. The morphism ''f'' is called a constant morphism (or sometimes left zero morphism) if for any object ''W'' in C and any , ''fg'' = ''fh''. Dually, ''f'' is called a coconstant morphism (or sometimes right zero morphism) if for any object ''Z'' in C and any ''g'', ''h'' : ''Y'' → ''Z'', ''gf'' = ''hf''. A zero morphism is one that is both a constant morphism and a coconstant morphism. A category with zero morphisms is one where, for every two objects ''A'' and ''B'' in C, there is a fixed morphism 0''AB'' : ''A'' → ''B'', and this collection of morphisms is such that for all objects ''X'', ''Y'', ''Z'' in C and all morphisms ''f'' : ''Y'' → ''Z'', ''g'' : ''X'' → ''Y'', the following diagram commutes: The morphisms 0''XY'' necessari ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Category Theory
Category theory is a general theory of mathematical structures and their relations. It was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Category theory is used in most areas of mathematics. In particular, many constructions of new mathematical objects from previous ones that appear similarly in several contexts are conveniently expressed and unified in terms of categories. Examples include quotient space (other), quotient spaces, direct products, completion, and duality (mathematics), duality. Many areas of computer science also rely on category theory, such as functional programming and Semantics (computer science), semantics. A category (mathematics), category is formed by two sorts of mathematical object, objects: the object (category theory), objects of the category, and the morphisms, which relate two objects called the ''source'' and the ''target'' of the morphism. Metapho ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Trivial Group
In mathematics, a trivial group or zero group is a group that consists of a single element. All such groups are isomorphic, so one often speaks of the trivial group. The single element of the trivial group is the identity element and so it is usually denoted as such: , , or depending on the context. If the group operation is denoted then it is defined by . The similarly defined is also a group since its only element is its own inverse, and is hence the same as the trivial group. The trivial group is distinct from the empty set, which has no elements, hence lacks an identity element, and so cannot be a group. Definitions Given any group , the group that consists of only the identity element is a subgroup of , and, being the trivial group, is called the of . The term, when referred to " has no nontrivial proper subgroups" refers to the only subgroups of being the trivial group and the group itself. Properties The trivial group is cyclic of order ; as such it may be ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Academic Press
Academic Press (AP) is an academic book publisher founded in 1941. It launched a British division in the 1950s. Academic Press was acquired by Harcourt, Brace & World in 1969. Reed Elsevier said in 2000 it would buy Harcourt, a deal completed the next year, after a regulatory review. Thus, Academic Press is now an imprint of Elsevier. Academic Press publishes reference books, serials and online products in the subject areas of: * Communications engineering * Economics * Environmental science * Finance * Food science and nutrition * Geophysics * Life sciences * Mathematics and statistics * Neuroscience * Physical sciences * Psychology Psychology is the scientific study of mind and behavior. Its subject matter includes the behavior of humans and nonhumans, both consciousness, conscious and Unconscious mind, unconscious phenomena, and mental processes such as thoughts, feel ... Well-known products include the '' Methods in Enzymology'' series and encyclopedias such ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cokernel
The cokernel of a linear mapping of vector spaces is the quotient space of the codomain of by the image of . The dimension of the cokernel is called the ''corank'' of . Cokernels are dual to the kernels of category theory, hence the name: the kernel is a subobject of the domain (it maps to the domain), while the cokernel is a quotient object of the codomain (it maps from the codomain). Intuitively, given an equation that one is seeking to solve, the cokernel measures the ''constraints'' that must satisfy for this equation to have a solution – the obstructions to a solution – while the kernel measures the ''degrees of freedom'' in a solution, if one exists. This is elaborated in intuition, below. More generally, the cokernel of a morphism in some category (e.g. a homomorphism between groups or a bounded linear operator between Hilbert spaces) is an object and a morphism such that the composition is the zero morphism of the category, and furthermore is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kernel (category Theory)
In category theory and its applications to other branches of mathematics, kernels are a generalization of the kernels of group homomorphisms, the kernels of module homomorphisms and certain other kernel (algebra), kernels from algebra. Intuitively, the kernel of the morphism ''f'' : ''X'' → ''Y'' is the "most general" morphism ''k'' : ''K'' → ''X'' that yields zero when composed with (followed by) ''f''. Note that kernel pairs and difference kernels (also known as binary Equaliser (mathematics), equalisers) sometimes go by the name "kernel"; while related, these aren't quite the same thing and are not discussed in this article. Definition Let C be a category theory, category. In order to define a kernel in the general category-theoretical sense, C needs to have zero morphisms. In that case, if ''f'' : ''X'' → ''Y'' is an arbitrary morphism in C, then a kernel of ''f'' is an Equaliser (mathematics), equaliser of ''f'' and the zero morphism from ''X'' to ''Y''. In symbols: : ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Empty Set
In mathematics, the empty set or void set is the unique Set (mathematics), set having no Element (mathematics), elements; its size or cardinality (count of elements in a set) is 0, zero. Some axiomatic set theories ensure that the empty set exists by including an axiom of empty set, while in other theories, its existence can be deduced. Many possible properties of sets are vacuously true for the empty set. Any set other than the empty set is called ''non-empty''. In some textbooks and popularizations, the empty set is referred to as the "null set". However, null set is a distinct notion within the context of measure theory, in which it describes a set of measure zero (which is not necessarily empty). Notation Common notations for the empty set include "", "\emptyset", and "∅". The latter two symbols were introduced by the Bourbaki group (specifically André Weil) in 1939, inspired by the letter Ø () in the Danish orthography, Danish and Norwegian orthography, Norwegian a ... [...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] |
Category Of Sets
In the mathematical field of category theory, the category of sets, denoted by Set, is the category whose objects are sets. The arrows or morphisms between sets ''A'' and ''B'' are the functions from ''A'' to ''B'', and the composition of morphisms is the composition of functions. Many other categories (such as the category of groups, with group homomorphisms as arrows) add structure to the objects of the category of sets or restrict the arrows to functions of a particular kind (or both). Properties of the category of sets The axioms of a category are satisfied by Set because composition of functions is associative, and because every set ''X'' has an identity function id''X'' : ''X'' → ''X'' which serves as identity element for function composition. The epimorphisms in Set are the surjective maps, the monomorphisms are the injective maps, and the isomorphisms are the bijective maps. The empty set serves as the initial object in Set with empty functions as morph ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abelian Group
In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after the Norwegian mathematician Niels Henrik Abel. The concept of an abelian group underlies many fundamental algebraic structures, such as fields, rings, vector spaces, and algebras. The theory of abelian groups is generally simpler than that of their non-abelian counterparts, and finite abelian groups are very well understood and fully classified. Definition An abelian group is a set A, together with an operation ･ , that combines any two elements a and b of A to form another element of A, denoted a \cdot b. The sym ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Preadditive Category
In mathematics, specifically in category theory, a preadditive category is another name for an Ab-category, i.e., a category that is enriched over the category of abelian groups, Ab. That is, an Ab-category C is a category such that every hom-set Hom(''A'',''B'') in C has the structure of an abelian group, and composition of morphisms is bilinear, in the sense that composition of morphisms distributes over the group operation. In formulas: f\circ (g + h) = (f\circ g) + (f\circ h) and (f + g)\circ h = (f\circ h) + (g\circ h), where + is the group operation. Some authors have used the term ''additive category'' for preadditive categories, but this page reserves that term for certain special preadditive categories (see below). Examples The most obvious example of a preadditive category is the category Ab itself. More precisely, Ab is a closed monoidal category. Note that commutativity is crucial here; it ensures that the sum of two group homomorphisms is again ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Isomorphism
In mathematics, an isomorphism is a structure-preserving mapping or morphism between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word is derived . The interest in isomorphisms lies in the fact that two isomorphic objects have the same properties (excluding further information such as additional structure or names of objects). Thus isomorphic structures cannot be distinguished from the point of view of structure only, and may often be identified. In mathematical jargon, one says that two objects are the same up to an isomorphism. A common example where isomorphic structures cannot be identified is when the structures are substructures of a larger one. For example, all subspaces of dimension one of a vector space are isomorphic and cannot be identified. An automorphism is an isomorphism from a structure to itself. An isomorphism between two structures is a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Identity Element
In mathematics, an identity element or neutral element of a binary operation is an element that leaves unchanged every element when the operation is applied. For example, 0 is an identity element of the addition of real numbers. This concept is used in algebraic structures such as group (mathematics), groups and ring (mathematics), rings. The term ''identity element'' is often shortened to ''identity'' (as in the case of additive identity and multiplicative identity) when there is no possibility of confusion, but the identity implicitly depends on the binary operation it is associated with. Definitions Let be a set equipped with a binary operation ∗. Then an element of is called a if for all in , and a if for all in . If is both a left identity and a right identity, then it is called a , or simply an . An identity with respect to addition is called an Additive identity, (often denoted as 0) and an identity with respect to m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
