Maths - Category Theory - Pullback

Given fixed objects A,B,C and morphisms g,f then a pullback is P with some universal property. pullback

Pullback is a:

In programming terms it is related to the concept of indexing.

The pullback is like a type of division for function composition, in other words if multiplication is function composition then what is division? This comes in left and right flavors that is:

if h = g o f

  Pullbacks Pushout
universal cone over diagram

abc diagram

 

pullback

P is the pullback of f along g or g along f (A,B,C fixed) .

Square must commute (in best possible way) so any other square, also containing (A,B,C) must uniquely map to it.

pushout

P is the pushout of A,B,C

generalisation
  • of limit
  • of inverse
a kind of colimit
examples: set:

Σ<a,b>∈A×B| f(a)=g(b)

where:

k(x) maps to <j(x),i(x)>

called a fibred product.

A U B /equivalence relation

In concrete categories the Cartesian product is often the categorical product. The pullback is like the categorical product but with additional conditions. So in the following examples we have a Cartesian product with a subset of the rows and columns.

Examples in Set

Set Example 1

This diagram is both a pullback and a pushout. set pullback pushout

Set Example 2

How does the above example relate to the idea that the pullback is a subset of the cartesian product of two sets? We have this restriction on the Cartesian product:

Σ<a,b>∈A×B| f(a)=g(b)

So, in this example, 'P' contains only the subset of the Cartesian product shown in red (that is <e,e>). pullback example 2

Examples in Graphs

In this example only the red arrows go both ways round the square so only the red arrows exist in 'G'.

graph pullback

Examples in Groups

  group pullback

Pullback as generalisation of Inverse

  • Function/morphism from A to C is given.
  • Subset B of C is given.

Hence we have two morphisms to C so this looks like the given part of a pullback.

pullback inverse
inverse square To complete the square we add cone for this diagram and we call it f-1(B) to emphasise that it is the inverse of 'f'.

 

Examples in Various Categories

    Product
(pullback)
  product arrow category  
generalisation   a kind of limit
set example product set

cartesian product

{a,b,c}*{x,y}=
{{a,x},{b,x},{c,x},{a,y},{b,y},{c,y}}

group   the product is given by the cartesian product with multiplication defined componentwise.
Grp (abelian)   direct sum
vector space   direct sum
poset   greatest lower bound
meet
base topological space    
POS  

greatest lower bounds (meets)

Rng    
Top   the space whose underlying set is the cartesian product and which carries the product topology
Grf    
category   objects: (a,b)
morphism: (a,b)->(a',b')

tensor products are not categorial products.

In the category of pointed spaces, fundamental in homotopy theory, the coproduct is the wedge sum (which amounts to joining a collection of spaces with base points at a common base point).

 

 

 


metadata block
see also:

Catsters youtube videos - Terminal and initial objects

Catsters youtube videos - Products and coproducts

Catsters youtube videos - Pullbacks and pushouts

Catsters youtube videos - General limits and colimits

Correspondence about this page

Book Shop - Further reading.

Where I can, I have put links to Amazon for books that are relevant to the subject, click on the appropriate country flag to get more details of the book or to buy it from them.

flag flag flag flag flag flag The Princeton Companion to Mathematics - This is a big book that attempts to give a wide overview of the whole of mathematics, inevitably there are many things missing, but it gives a good insight into the history, concepts, branches, theorems and wider perspective of mathematics. It is well written and, if you are interested in maths, this is the type of book where you can open a page at random and find something interesting to read. To some extent it can be used as a reference book, although it doesn't have tables of formula for trig functions and so on, but where it is most useful is when you want to read about various topics to find out which topics are interesting and relevant to you.

 

Terminology and Notation

Specific to this page here:

 

This site may have errors. Don't use for critical systems.

Copyright (c) 1998-2017 Martin John Baker - All rights reserved - privacy policy.