Coequalizer

Coequalizer

In category theory, a coequalizer (or coequaliser) is a generalization of a quotient by an equivalence relation to objects in an arbitrary category. It is the categorical construction dual to the equalizer (hence the name).

Contents

Definition

A coequalizer is a colimit of the diagram consisting of two objects X and Y and two parallel morphisms f, g : XY.

More explicitly, a coequalizer can be defined as an object Q together with a morphism q : YQ such that qf = qg. Moreover, the pair (Q, q) must be universal in the sense that given any other such pair (Q′, q′) there exists a unique morphism u : QQ′ for which the following diagram commutes:

Coequalizer-01.png

As with all universal constructions, a coequalizer, if it exists, is unique up to a unique isomorphism (this is why, by abuse of language, one sometimes speaks of "the" coequalizer of two parallel arrows).

It can be shown that a coequalizer q is an epimorphism in any category.

Examples

  • In the category of sets, the coequalizer of two functions f, g : XY is the quotient of Y by the smallest equivalence relation ~\sim such that for every x\in X, we have f(x)∼g(x). In particular, if R is an equivalence relation on a set Y, and r1,2 are the natural projections (RY × Y) → Y then the coequalizer of r1 and r2 is the quotient set Y/R.
S=\{f(x)g(x)^{-1}\ |\ x\in X\}
  • For abelian groups the coequalizer is particularly simple. It is just the factor group Y / im(fg). (This is the cokernel of the morphism fg; see the next section).
  • In the category of topological spaces, the circle object S1 can be viewed as the coequalizer of the two inclusion maps from the standard 0-simplex to the standard 1-simplex.
  • Coequalisers can be large: There are exactly two functors from the category 1 having one object and one identity arrow, to the category 2 with two objects and exactly one non-identity arrow going between them. The coequaliser of these two functors is the monoid of natural numbers under addition, considered as a one-object category. In particular, this shows that while every coequalising arrow is epic, it is not necessarily surjective.

Properties

  • In a topos, every epimorphism is the coequalizer of its kernel pair.
  • Every coequalizer is an epimorphism.

Special cases

In categories with zero morphisms, one can define a cokernel of a morphism f as the coequalizer of f and the parallel zero morphism.

In preadditive categories it makes sense to add and subtract morphisms (the hom-sets actually form abelian groups). In such categories, one can define the coequalizer of two morphisms f and g as the cokernel of their difference:

coeq(f, g) = coker(gf).

A stronger notion is that of an absolute coequalizer, this is a coequalizer that is preserved under all functors. Formally, an absolute coequalizer of a pair f,g: X \to Y in a category C is a coequalizer as defined above but with the added property that given any functor F: C \to D F(Q) together with F(q) is the coequalizer of F(f) and F(g) in the category D. Split coequalizers are examples of absolute coequalizers.

See also

References

External links


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Regular category — In category theory, a regular category is a category with finite limits and coequalizers of kernel pairs, satisfying certain exactness conditions. In that way, regular categories recapture many properties of abelian categories, like the existence …   Wikipedia

  • Pushout (category theory) — In category theory, a branch of mathematics, a pushout (also called a fibered coproduct or fibered sum or cocartesian square or amalgamed sum) is the colimit of a diagram consisting of two morphisms f : Z → X and g : Z → Y with a common …   Wikipedia

  • Epimorphism — In category theory an epimorphism (also called an epic morphism or an epi) is a morphism f : X rarr; Y which is right cancellative in the following sense: : g 1 o f = g 2 o f implies g 1 = g 2 for all morphisms g 1, g 2 : Y rarr; Z .Epimorphisms… …   Wikipedia

  • Cokernel — Coker (mathematics) redirects here. For other uses, see Coker (disambiguation). In mathematics, the cokernel of a linear mapping of vector spaces f : X → Y is the quotient space Y/im(f) of the codomain of f by the image of f. Cokernels are… …   Wikipedia

  • Category of topological spaces — In mathematics, the category of topological spaces, often denoted Top, is the category whose objects are topological spaces and whose morphisms are continuous maps. This is a category because the composition of two continuous maps is again… …   Wikipedia

  • Beck's monadicity theorem — In category theory, a branch of mathematics, Beck s monadicity theorem asserts that a functor :U: C o Dis monadic if and only if # U has a left adjoint; # U reflects isomorphisms; and # C has coequalizers of U split coequalizer pairs, and U… …   Wikipedia

  • Category of rings — In mathematics, the category of rings, denoted by Ring, is the category whose objects are rings (with identity) and whose morphisms are ring homomorphisms (preserving the identity). Like many categories in mathematics, the category of rings is… …   Wikipedia

  • Topos — For topoi in literary theory, see Literary topos. For topoi in rhetorical invention, see Inventio. In mathematics, a topos (plural topoi or toposes ) is a type of category that behaves like the category of sheaves of sets on a topological space.… …   Wikipedia

  • Coproduct — This article is about coproducts in categories. For coproduct in the sense of comultiplication, see Coalgebra. In category theory, the coproduct, or categorical sum, is the category theoretic construction which includes the disjoint union of sets …   Wikipedia

  • List of category theory topics — This is a list of category theory topics, by Wikipedia page. Specific categories *Category of sets **Concrete category *Category of vector spaces **Category of graded vector spaces *Category of finite dimensional Hilbert spaces *Category of sets… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”