Introduction to Category Theory/Pullbacks

From Wikiversity
Jump to navigation Jump to search

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]

Related Resources[edit]