Namespaces
Variants
Actions

Quotient category

From Encyclopedia of Mathematics
Revision as of 17:22, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A construct analogous to that of a quotient set or quotient algebra. Let be an arbitrary category, and suppose that an equivalence relation is given on its class of morphisms , satisfying the following conditions: 1) if , then the sources and targets of the morphisms and are the same; and 2) if , and if the product is defined, then . Let denote the equivalence class of . The quotient category of by is the category (denoted by ) with the same objects as , and for any pair of objects , the set of morphisms in consists of the equivalence classes , where in ; multiplication of two morphisms and is defined by the formula (when the product is defined).

Every small category can be represented as a quotient category of the category of paths over an appropriate directed graph.


Comments

Any equivalence relation satisfying the conditions above is commonly called a congruence on (cf. Congruence (in algebra)).

References

[a1] B. Mitchell, "Theory of categories" , Acad. Press (1965) pp. 4
How to Cite This Entry:
Quotient category. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Quotient_category&oldid=48407
This article was adapted from an original article by M.Sh. Tsalenko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article