Introduction to Category Theory/Pullbacks

From Wikiversity
Jump to navigation Jump to search

Example in Sets

[edit | edit source]
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 | edit source]

Definition

[edit | edit source]

Properties

[edit | edit source]
  • preserves monos
  • pullback of pullback is pullback

Limit notation

[edit | edit source]
[edit | edit source]