|
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] |
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] |
Canonical 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 cano ... [...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] |
Universal Morphism
In mathematics, more specifically in category theory, a universal property is a property that characterizes up to an isomorphism the result of some constructions. Thus, universal properties can be used for defining some objects independently from the method chosen for constructing them. For example, the definitions of the integers from the natural numbers, of the rational numbers from the integers, of the real numbers from the rational numbers, and of polynomial rings from the field of their coefficients can all be done in terms of universal properties. In particular, the concept of universal property allows a simple proof that all constructions of real numbers are equivalent: it suffices to prove that they satisfy the same universal property. Technically, a universal property is defined in terms of categories and functors by means of a universal morphism (see , below). Universal morphisms can also be thought more abstractly as initial or terminal objects of a comma category ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ordered Pair
In mathematics, an ordered pair, denoted (''a'', ''b''), is a pair of objects in which their order is significant. The ordered pair (''a'', ''b'') is different from the ordered pair (''b'', ''a''), unless ''a'' = ''b''. In contrast, the '' unordered pair'', denoted , always equals the unordered pair . Ordered pairs are also called 2-tuples, or sequences (sometimes, lists in a computer science context) of length 2. Ordered pairs of scalars are sometimes called 2-dimensional vectors. (Technically, this is an abuse of terminology since an ordered pair need not be an element of a vector space.) The entries of an ordered pair can be other ordered pairs, enabling the recursive definition of ordered ''n''-tuples (ordered lists of ''n'' objects). For example, the ordered triple (''a'',''b'',''c'') can be defined as (''a'', (''b'',''c'')), i.e., as one pair nested in another. In the ordered pair (''a'', ''b''), the object ''a'' is called the ''first entry'', and the object ''b'' the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Diagonal Functor
In category theory, a branch of mathematics, the diagonal functor \mathcal \rightarrow \mathcal \times \mathcal is given by \Delta(a) = \langle a,a \rangle, which maps objects as well as morphisms. This functor can be employed to give a succinct alternate description of the product of objects ''within'' the category \mathcal: a product a \times b is a universal arrow from \Delta to \langle a,b \rangle. The arrow comprises the projection maps. More generally, given a small index category \mathcal, one may construct the functor category \mathcal^\mathcal, the objects of which are called diagrams. For each object a in \mathcal, there is a constant diagram \Delta_a : \mathcal \to \mathcal that maps every object in \mathcal to a and every morphism in \mathcal to 1_a. The diagonal functor \Delta : \mathcal \rightarrow \mathcal^\mathcal assigns to each object a of \mathcal the diagram \Delta_a, and to each morphism f: a \rightarrow b in \mathcal the natural transformation \eta in \mat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Product Category
In the mathematical field of category theory, the product of two categories ''C'' and ''D'', denoted and called a product category, is an extension of the concept of the Cartesian product of two sets. Product categories are used to define bifunctors and multifunctors. Definition The product category has: *as objects: *:pairs of objects , where ''A'' is an object of ''C'' and ''B'' of ''D''; *as arrows from to : *:pairs of arrows , where is an arrow of ''C'' and is an arrow of ''D''; *as composition, component-wise composition from the contributing categories: *:; *as identities, pairs of identities from the contributing categories: *:1(''A'', ''B'') = (1''A'', 1''B''). Relation to other categorical concepts For small categories, this is the same as the action on objects of the categorical product in the category Cat. A functor whose domain is a product category is known as a bifunctor. An important example is the Hom functor, which has the product of the opposite ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Universal Construction
In mathematics, more specifically in category theory, a universal property is a property that characterizes up to an isomorphism the result of some constructions. Thus, universal properties can be used for defining some objects independently from the method chosen for constructing them. For example, the definitions of the integers from the natural numbers, of the rational numbers from the integers, of the real numbers from the rational numbers, and of polynomial rings from the field of their coefficients can all be done in terms of universal properties. In particular, the concept of universal property allows a simple proof that all constructions of real numbers are equivalent: it suffices to prove that they satisfy the same universal property. Technically, a universal property is defined in terms of categories and functors by means of a universal morphism (see , below). Universal morphisms can also be thought more abstractly as initial or terminal objects of a comma category ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cone (category Theory)
In category theory, a branch of mathematics, the cone of a functor is an abstract notion used to define the limit of that functor. Cones make other appearances in category theory as well. Definition Let ''F'' : ''J'' → ''C'' be a diagram in ''C''. Formally, a diagram is nothing more than a functor from ''J'' to ''C''. The change in terminology reflects the fact that we think of ''F'' as indexing a family of objects and morphisms in ''C''. The category ''J'' is thought of as an "index category". One should consider this in analogy with the concept of an indexed family of objects in set theory. The primary difference is that here we have morphisms as well. Thus, for example, when ''J'' is a discrete category, it corresponds most closely to the idea of an indexed family in set theory. Another common and more interesting example takes ''J'' to be a span. ''J'' can also be taken to be the empty category, leading to the simplest cones. Let ''N'' be an object of ''C''. A cone f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Diagram (category Theory)
In category theory, a branch of mathematics, a diagram is the categorical analogue of an indexed family in set theory. The primary difference is that in the categorical setting one has morphisms that also need indexing. An indexed family of sets is a collection of sets, indexed by a fixed set; equivalently, a ''function'' from a fixed index ''set'' to the class of ''sets''. A diagram is a collection of objects and morphisms, indexed by a fixed category; equivalently, a ''functor'' from a fixed index ''category'' to some ''category''. Definition Formally, a diagram of type ''J'' in a category ''C'' is a ( covariant) functor The category ''J'' is called the index category or the scheme of the diagram ''D''; the functor is sometimes called a ''J''-shaped diagram. The actual objects and morphisms in ''J'' are largely irrelevant; only the way in which they are interrelated matters. The diagram ''D'' is thought of as indexing a collection of objects and morphisms in ''C'' patterned on ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Discrete Category
In mathematics, in the field of category theory, a discrete category is a category whose only morphisms are the identity morphisms: :hom''C''(''X'', ''X'') = {id''X''} for all objects ''X'' :hom''C''(''X'', ''Y'') = ∅ for all objects ''X'' ≠ ''Y'' Since by axioms, there is always the identity morphism between the same object, we can express the above as condition on the cardinality of the hom-set :, hom''C''(''X'', ''Y'') , is 1 when ''X'' = ''Y'' and 0 when ''X'' is not equal to ''Y''. Some authors prefer a weaker notion, where a discrete category merely needs to be equivalent to such a category. Simple facts Any class of objects defines a discrete category when augmented with identity maps. Any subcategory of a discrete category is discrete. Also, a category is discrete if and only if all of its subcategories are full. The limit of any functor from a discrete category into another category is called a product, while the colimit is called a coproduct. Thus, for ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Limit (category Theory)
In category theory, a branch of mathematics, the abstract notion of a limit captures the essential properties of universal constructions such as product (category theory), products, pullback (category theory), pullbacks and inverse limits. The duality (category theory), dual notion of a colimit generalizes constructions such as disjoint unions, direct sums, coproducts, pushout (category theory), pushouts and direct limits. Limits and colimits, like the strongly related notions of universal property, universal properties and adjoint functors, exist at a high level of abstraction. In order to understand them, it is helpful to first study the specific examples these concepts are meant to generalize. Definition Limits and colimits in a category (mathematics), category C are defined by means of diagrams in C. Formally, a diagram (category theory), diagram of shape J in C is a functor from J to C: :F:J\to C. The category J is thought of as an index category, and the diagram F is tho ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
