Introduction to Category Theory/Pullbacks

Example in Sets

edit
 
Pullback of two functions.
 
Detail of pullback magnified.

Sometimes a picture tells more than thousand words. In category of sets, 3 sets {a,b,c,d,e,f,g}, {1,2,3,4,5}, {v,w,x,y,z}, 2 function

Pullback

edit

Definition

edit

Properties

edit
  • preserves monos
  • pullback of pullback is pullback

Limit notation

edit
edit