Concept
Product (category theory)
Related concepts (24)
Category of topological spaces
In mathematics, the category of topological spaces, often denoted Top, is the whose s 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 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 .
Diagonal functor
In , a branch of mathematics, the diagonal functor is given by , which maps as well as morphisms. This functor can be employed to give a succinct alternate description of the product of objects within the : a product is a universal arrow from to . The arrow comprises the projection maps. More generally, given a , one may construct the , the objects of which are called . For each object in , there is a constant diagram that maps every object in to and every morphism in to .
Diagram (category theory)
In , 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.
Cartesian closed category
In , a is Cartesian closed if, roughly speaking, any morphism defined on a of two 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 , whose internal language, linear type systems, are suitable for both quantum and classical computation.
Universal property
In mathematics, more specifically in , 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.
Equivalence of categories
In , a branch of abstract mathematics, an equivalence of categories is a relation between two 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.
Discrete category
In mathematics, in the field of , a discrete category is a category whose only morphisms are the identity morphisms: homC(X, X) = {idX} for all objects X homC(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 | homC(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.
Category of sets
In the mathematical field of , the category of sets, denoted as Set, is the whose are sets. The arrows or morphisms between sets A and B are the total functions from A to B, and the composition of morphisms is the composition of functions. Many other categories (such as the , with group homomorphisms as arrows) add structure to the objects of the category of sets and/or restrict the arrows to functions of a particular kind.
Cone (category theory)
In , a branch of mathematics, the cone of a functor is an abstract notion used to define the of that functor. Cones make other appearances in category theory as well. Let F : J → C be a 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 and morphisms in C. The 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.
Direct product
In mathematics, one can often define a direct product of objects already known, giving a new one. This generalizes the Cartesian product of the underlying sets, together with a suitably defined structure on the product set. More abstractly, one talks about the , which formalizes these notions. Examples are the product of sets, groups (described below), rings, and other algebraic structures. The product of topological spaces is another instance. There is also the direct sum – in some areas this is used interchangeably, while in others it is a different concept.