- Category (mathematics)
In mathematics, a category is an algebraic structure that comprises "objects" that are linked by "arrows". A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A simple example is the category of sets, whose objects are sets and whose arrows are functions. On the other hand, any monoid can be understood as a special sort of category, and so can any preorder. In general, the objects and arrows may be abstract entities of any kind, and the notion of category provides a fundamental and abstract way to describe mathematical entities and their relationships. This is the central idea of category theory, a branch of mathematics which seeks to generalize all of mathematics in terms of objects and arrows, independent of what the objects and arrows represent. Virtually every branch of modern mathematics can be described in terms of categories, and doing so often reveals deep insights and similarities between seemingly different areas of mathematics. For more extensive motivational background and historical notes, see category theory and the list of category theory topics.
Two categories are the same if they have the same collection of objects, the same collection of arrows, and the same associative method of composing any pair of arrows. Two categories may also be considered "equivalent" for purposes of category theory, even if they are not precisely the same.
Well-known categories are denoted by a short capitalized word or abbreviation in bold or italics: examples include Set, the category of sets and set functions; Ring, the category of rings and ring homomorphisms; and Top, category of topological spaces and continuous maps. All of the preceding categories have the identity map as identity arrow and composition as the associative operation on arrows.
The standard text on category theory is "Categories for the Working Mathematician" by Saunders Mac Lane. Other references are given in the References below. The basic definitions in this article are contained within the first few chapters of any of these books.
A category C consists of
- a class ob(C) of objects
- a class hom(C) of morphisms, or arrows, or maps, between the objects. Each morphism f has a unique source object a and target object b where a and b are in ob(C). We write f: a → b, and we say "f is a morphism from a to b". We write hom(a, b) (or homC(a, b) when there may be confusion about to which category hom(a, b) refers) to denote the hom-class of all morphisms from a to b. (Some authors write Mor(a, b) or simply C(a, b) instead.)
- for every three objects a, b and c, a binary operation hom(a, b) × hom(b, c) → hom(a, c) called composition of morphisms; the composition of f : a → b and g : b → c is written as g o f or gf. (Some authors write fg or f;g.)
such that the following axioms hold:
- (associativity) if f : a → b, g : b → c and h : c → d then h o (g o f) = (h o g) o f, and
- (identity) for every object x, there exists a morphism 1x : x → x (some authors write idx) called the identity morphism for x, such that for every morphism f : a → b, we have 1b o f = f = f o 1a.
From these axioms, one can prove that there is exactly one identity morphism for every object. Some authors use a slight variation of the definition in which each object is identified with the corresponding identity morphism.
Small and large categories
A category C is called small if both ob(C) and hom(C) are actually sets and not proper classes, and large otherwise. A locally small category is a category such that for all objects a and b, the hom-class hom(a, b) is a set, called a homset. Many important categories in mathematics (such as the category of sets), although not small, are at least locally small.
The class of all sets together with all functions between sets, where composition is the usual function composition, forms a large category, Set. It is the most basic and the most commonly used category in mathematics. The category Rel consists of all sets, with binary relations as morphisms. Abstracting from relations instead of functions yields allegories instead of categories.
Any class can be viewed as a category whose only morphisms are the identity morphisms. Such categories are called discrete. For any given set I, the discrete category on I is the small category that has the elements of I as objects and only the identity morphisms as morphisms. Discrete categories are the simplest kind of category.
Any preordered set (P, ≤) forms a small category, where the objects are the members of P, the morphisms are arrows pointing from x to y when x ≤ y. Between any two objects there can be at most one morphism. The existence of identity morphisms and the composability of the morphisms are guaranteed by the reflexivity and the transitivity of the preorder. By the same argument, any partially ordered set and any equivalence relation can be seen as a small category. Any ordinal number can be seen as a category when viewed as an ordered set.
Any monoid (any algebraic structure with a single associative binary operation and an identity element) forms a small category with a single object x. (Here, x is any fixed set.) The morphisms from x to x are precisely the elements of the monoid, the identity morphism of x is the identity of the monoid, and the categorical composition of morphisms is given by the monoid operation. Several definitions and theorems about monoids may be generalized for categories.
Any group can be seen as a category with a single object in which every morphism is invertible (for every morphism f there is a morphism g that is both left and right inverse to f under composition) by viewing the group as acting on itself by left multiplication. A morphism which is invertible in this sense is called an isomorphism.
Any directed graph generates a small category: the objects are the vertices of the graph, and the morphisms are the paths in the graph (augmented with loops as needed) where composition of morphisms is concatenation of paths. Such a category is called the free category generated by the graph.
The class of all preordered sets with monotonic functions as morphisms forms a category, Ord. It is a concrete category, i.e. a category obtained by adding some type of structure onto Set, and requiring that morphisms are functions that respect this added structure.
The class of all groups with group homomorphisms as morphisms and function composition as the composition operation forms a large category, Grp. Like Ord, Grp is a concrete category. The category Ab, consisting of all abelian groups and their group homomorphisms, is a full subcategory of Grp, and the prototype of an abelian category. Other examples of concrete categories are given by the following table.
Category Objects Morphisms Mag magmas magma homomorphisms Manp smooth manifolds p-times continuously differentiable maps Met metric spaces short maps R-Mod R-Modules, where R is a Ring module homomorphisms Ring rings ring homomorphisms Set sets functions Top topological spaces continuous functions Uni uniform spaces uniformly continuous functions VectK vector spaces over the field K K-linear maps
Construction of new categories
Any category C can itself be considered as a new category in a different way: the objects are the same as those in the original category but the arrows are those of the original category reversed. This is called the dual or opposite category and is denoted Cop.
If C and D are categories, one can form the product category C × D: the objects are pairs consisting of one object from C and one from D, and the morphisms are also pairs, consisting of one morphism in C and one in D. Such pairs can be composed componentwise.
Types of morphisms
A morphism f : a → b is called
- a monomorphism (or monic) if fg1 = fg2 implies g1 = g2 for all morphisms g1, g2 : x → a.
- an epimorphism (or epic) if g1f = g2f implies g1 = g2 for all morphisms g1, g2 : b → x.
- a bimorphism if it is both a monomorphism and an epimorphism.
- a retraction if it has a right inverse, i.e. if there exists a morphism g : b → a with fg = 1b.
- a section if it has a left inverse, i.e. if there exists a morphism g : b → a with gf = 1a.
- an isomorphism if it has an inverse, i.e. if there exists a morphism g : b → a with fg = 1b and gf = 1a.
- an endomorphism if a = b. The class of endomorphisms of a is denoted end(a).
- an automorphism if f is both an endomorphism and an isomorphism. The class of automorphisms of a is denoted aut(a).
Every retraction is an epimorphism. Every section is a monomorphism. The following three statements are equivalent:
- f is a monomorphism and a retraction;
- f is an epimorphism and a section;
- f is an isomorphism.
Relations among morphisms (such as fg = h) can most conveniently be represented with commutative diagrams, where the objects are represented as points and the morphisms as arrows.
Types of categories
- In many categories, e.g. Ab or VectK, the hom-sets hom(a, b) are not just sets but actually abelian groups, and the composition of morphisms is compatible with these group structures; i.e. is bilinear. Such a category is called preadditive. If, furthermore, the category has all finite products and coproducts, it is called an additive category. If all morphisms have a kernel and a cokernel, and all epimorphisms are cokernels and all monomorphisms are kernels, then we speak of an abelian category. A typical example of an abelian category is the category of abelian groups.
- A category is called complete if all limits exist in it. The categories of sets, abelian groups and topological spaces are complete.
- A category is called cartesian closed if it has finite direct products and a morphism defined on a finite product can always be represented by a morphism defined on just one of the factors. Examples include Set and CPO, the category of complete partial orders with Scott-continuous functions.
- A topos is a certain type of cartesian closed category in which all of mathematics can be formulated (just like classically all of mathematics is formulated in the category of sets). A topos can also be used to represent a logical theory.
- Adámek, Jiří; Herrlich, Horst; Strecker, George E. (1990), Abstract and Concrete Categories, John Wiley & Sons, ISBN 0-471-60922-6, http://katmat.math.uni-bremen.de/acc/acc.pdf (now free on-line edition, GNU FDL).
- Asperti, Andrea; Longo, Giuseppe (1991), Categories, Types and Structures, MIT Press, ISBN 0262011255, ftp://ftp.di.ens.fr/pub/users/longo/CategTypesStructures/book.pdf .
- Awodey, Steve (2006), Category theory, Oxford logic guides, 49, Oxford University Press, ISBN 9780198568612 .
- Barr, Michael; Wells, Charles (2002), Toposes, Triples and Theories, ISBN 0387961151, http://www.cwru.edu/artsci/math/wells/pub/ttt.html (revised and corrected free online version of Grundlehren der mathematischen Wissenschaften (278) Springer-Verlag, 1983).
- Borceux, Francis (1994), "Handbook of Categorical Algebra", Encyclopedia of Mathematics and its Applications, 50–52, Cambridge: Cambridge University Press, ISBN 0521061199 .
- Herrlich, Horst; Strecker, George E. (1973), Category Theory, Allen and Bacon, Inc. Boston .
- Jacobson, Nathan (2009), Basic algebra (2nd ed.), Dover, ISBN 978-0-486-47187-7 .
- Lawvere, William; Schanuel, Steve (1997), Conceptual Mathematics: A First Introduction to Categories, Cambridge: Cambridge University Press, ISBN 0521472490 .
- Mac Lane, Saunders (1998), Categories for the Working Mathematician, Graduate Texts in Mathematics 5 (2nd ed.), Springer-Verlag, ISBN 0-387-98403-8 .
- Marquis, Jean-Pierre (2006), "Category Theory", in Zalta, Edward N., Stanford Encyclopedia of Philosophy, http://plato.stanford.edu/entries/category-theory/ .
- Sica, Giandomenico (2006), What is category theory?, Advanced studies in mathematics and logic, 3, Polimetrica, ISBN 9788876990311 .
Wikimedia Foundation. 2010.
Look at other dictionaries:
Category:Mathematics awards — Subcategories This category has the following 10 subcategories, out of 10 total. A [×] Abdus Salam Award recipients (5 P) [×] … Wikipedia
Mathematics & Mechanics of Solids — … Wikipedia
Mathematics (disambiguation) — Mathematics is the body of knowledge justified by deductive reasoning about abstract structures, starting from axioms and definitions. Mathematics may also refer to Mathematics (producer), a hip hop producer Mathematics (album), an album by the… … Wikipedia
Category — may refer to: *Category (philosophy) *taxonomic category Taxonomic rank *Category (grammar) *Category (mathematics) * Categories (Aristotle) *Category (Kant) *Categories (Stoic) *Categories (game), a game involving naming categories of things… … Wikipedia
Mathematics — Maths and Math redirect here. For other uses see Mathematics (disambiguation) and Math (disambiguation). Euclid, Greek mathematician, 3r … Wikipedia
Category of being — In metaphysics (in particular, ontology), the different kinds or ways of being are called categories of being or simply categories. To investigate the categories of being is to determine the most fundamental and the broadest classes of entities.… … Wikipedia
Mathematics (producer) — Mathematics At the Eurockéennes of 2007. Background information Also known as Allah Mathematics Origin … Wikipedia
Mathematics, Form and Function — is a survey of the whole of mathematics, including its origins and deep structure, by the American mathematician Saunders Mac Lane. Contents 1 Mac Lane s relevance to the philosophy of mathematics 2 Mathematics and human activities … Wikipedia
Mathematics Presents Wu-Tang Clan & Friends Unreleased — Mathematics Presents... Wu Tang Clan Friends Unreleased Compilation album by Mathematics Wu Tang Clan … Wikipedia
Mathematics and art — have a long historical relationship. The ancient Egyptians and ancient Greeks knew about the golden ratio, regarded as an aesthetically pleasing ratio, and incorporated it into the design of monuments including the Great Pyramid, the Parthenon … Wikipedia