World Library  
Flag as Inappropriate
Email this Article

Pushout (category theory)

Article Id: WHEBN0000582024
Reproduction Date:

Title: Pushout (category theory)  
Author: World Heritage Encyclopedia
Language: English
Subject: Limit (category theory), Pulation square, Double pushout graph rewriting, Pushforward, Complete category
Publisher: World Heritage Encyclopedia

Pushout (category theory)

In category theory, a branch of mathematics, a pushout (also called a fibered coproduct or fibered sum or cocartesian square or amalgamated sum) is the colimit of a diagram consisting of two morphisms f : ZX and g : ZY with a common domain: it is the colimit of the span X \leftarrow Z \rightarrow Y.

The pushout is the categorical dual of the pullback.


  • Universal property 1
  • Examples of pushouts 2
  • Properties 3
  • Construction via coproducts and coequalizers 4
  • Application: the Seifert–van Kampen theorem 5
  • References 6
  • External links 7

Universal property

Explicitly, the pushout of the morphisms f and g consists of an object P and two morphisms i1 : XP and i2 : YP such that the diagram

commutes and such that (P, i1, i2) is universal with respect to this diagram. That is, for any other such set (Q, j1, j2) for which the following diagram commutes, there must exist a unique u : PQ also making the diagram commute:

As with all universal constructions, the pushout, if it exists, is unique up to a unique isomorphism.

Examples of pushouts

Here are some examples of pushouts in familiar categories. Note that in each case, we are only providing a construction of an object in the isomorphism class of pushouts; as mentioned above, there may be other ways to construct it, but they are all equivalent.

1. Suppose that X, Y, and Z as above are sets, and that f : Z → X and g : Z → Y are set functions. The pushout of f and g is the disjoint union of X and Y, where elements sharing a common preimage (in Z) are identified, together with the morphisms i1 , i2 from X and Y, i.e. P = X \coprod Y \Bigg/ \sim where ~ is the finest equivalence relation (cf. also this) such that i1f (z) ~ i2g(z).

2. The construction of adjunction spaces is an example of pushouts in the category of topological spaces. More precisely, if Z is a subspace of Y and g : ZY is the inclusion map we can "glue" Y to another space X along Z using an "attaching map" f : ZX. The result is the adjunction space X \cup_{f} Y which is just the pushout of f and g. More generally, all identification spaces may be regarded as pushouts in this way.

3. A special case of the above is the wedge sum or one-point union; here we take X and Y to be pointed spaces and Z the one-point space. Then the pushout is X \vee Y, the space obtained by gluing the basepoint of X to the basepoint of Y.

4. In the category of abelian groups, pushouts can be thought of as "direct sum with gluing" in the same way we think of adjunction spaces as "disjoint union with gluing". The zero group is a subgroup of every group, so for any abelian groups A and B, we have homomorphisms

f : 0 → A


g : 0 → B.

The pushout of these maps is the direct sum of A and B. Generalizing to the case where f and g are arbitrary homomorphisms from a common domain Z, one obtains for the pushout a quotient group of the direct sum; namely, we mod out by the subgroup consisting of pairs (f(z),−g(z)). Thus we have "glued" along the images of Z under f and g. A similar approach yields the pushout in the category of R-modules for any ring R.

5. In the category of groups, the pushout is called the free product with amalgamation. It shows up in the Seifert–van Kampen theorem of algebraic topology (see below).

6. In CRing, the category of commutative rings (a full subcategory of the category of rings), the pushout is given by the tensor product of rings. In particular, let A, B, and C be objects (commutative rings with identity) in CRing and let f : CA and g : CB be morphisms (ring homomorphisms) in CRing. Then the tensor product,

A \otimes_{C} B = \left\{\sum_{i \in I} (a_{i},b_{i}) \; \big| \; a_{i} \in A, b_{i} \in B \right\} \Bigg/ \bigg\langle (f(c)a,b) - (a,g(c)b) \; \big| \; a \in A, b \in B, c \in C \bigg\rangle

with the morphisms g': A \rightarrow A \otimes_{C} B and f': B \rightarrow A \otimes_{C} B that satisfy f' \circ g = g' \circ f defines the pushout in CRing. Since the pushout is the colimit of a span and the pullback is the limit of a cospan, we can think of the tensor product of rings and the fibered product of rings (see the examples section) as dual notions to each other.


  • Whenever ACB and BCA exist, there is an isomorphism ACBBCA.
  • Whenever the pushout AAB exists, there is an isomorphism BAAB (this follows from the universal property of the pushout).

Construction via coproducts and coequalizers

Pushouts are equivalent to coproducts and coequalizers (if there is an initial object) in the sense that:

  • Coproducts are a pushout from the initial object, and the coequalizer of f, g : XY is the pushout of [f, g] and [1X, 1X], so if there are pushouts (and an initial object), then there are coequalizers and coproducts;
  • Pushouts can be constructed from coproducts and coequalizers, as described below (the pushout is the coequalizer of the maps to the coproduct).

All of the above examples may be regarded as special cases of the following very general construction, which works in any category C satisfying:

  • For any objects A and B of C, their coproduct exists in C;
  • For any morphisms j and k of C with the same domain and target, the coequalizer of j and k exists in C.

In this setup, we obtain the pushout of morphisms f : ZX and g : ZY by first forming the coproduct of the targets X and Y. We then have two morphisms from Z to this coproduct. We can either go from Z to X via f, then include into the coproduct, or we can go from Z to Y via g, then include. The pushout of f and g is the coequalizer of these new maps.

Application: the Seifert–van Kampen theorem

Returning to topology, the Seifert–van Kampen theorem answers the following question. Suppose we have a path-connected space X, covered by path-connected open subspaces A and B whose intersection D is also path-connected. (Assume also that the basepoint * lies in the intersection of A and B.) If we know the fundamental groups of A, B, and their intersection D, can we recover the fundamental group of X? The answer is yes, provided we also know the induced homomorphisms \pi_1(D,*) \to \pi_1(A,*) and \pi_1(D,*) \to \pi_1(B,*). The theorem then says that the fundamental group of X is the pushout of these two induced maps. Of course, X is the pushout of the two inclusion maps of D into A and B. Thus we may interpret the theorem as confirming that the fundamental group functor preserves pushouts of inclusions. We might expect this to be simplest when D is simply connected, since then both homomorphisms above have trivial domain. Indeed this is the case, since then the pushout (of groups) reduces to the free product, which is the coproduct in the category of groups. In a most general case we will be speaking of a free product with amalgamation.

There is a detailed exposition of this, in a slightly more general setting (covering groupoids) in the book by J. P. May listed in the references.


  • May, J. P. A concise course in algebraic topology. University of Chicago Press, 1999.
    An introduction to categorical approaches to algebraic topology: the focus is on the algebra, and assumes a topological background.

External links

  • pushout in nLab
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.

Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.