8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 1/70

℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 2/70

℄

Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 3/70

Æ

℄

Æ Æ

Æ Æ

Æ Æ

℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 4/70

Æ Æ

Æ Æ

Æ Æ

Æ Æ

℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 5/70

Æ

Æ

℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 6/70

℄

℄

℄ ℄

℄

℄ ℄

℄

℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 7/70

Æ

Æ

℄

℄

℄

℄

℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 8/70

℄ ℄ ℄

℄

℄

℄

℄

Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 9/70

Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 10/70

Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 11/70

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 12/70

Æ

Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 13/70

Æ

Æ

Æ

Æ

Æ

Æ

Æ

℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 14/70

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 15/70

℄

℄

℄ ℄

℄ ℄

Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 16/70

℄ ℄

℄ ℄

Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 17/70

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 18/70

Æ

Æ Æ

Æ Æ

Æ Æ

Æ Æ Æ Æ

Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 19/70

Æ Æ

Æ Æ

℄

Æ

Æ

Æ

Æ

Æ

Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 20/70

im A

ker A

0 0

y

A x0x0

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 21/70

Æ

Æ

℄

℄

Æ

Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 22/70

Æ

Æ

Æ

℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 23/70

Æ

Æ

Æ

Æ

Æ Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 24/70

Æ

Æ

℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 25/70

Æ Æ

Æ Æ

Æ

Æ Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 26/70

Æ Æ

Æ Æ

Æ

Æ Æ

℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 27/70

Æ

Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 28/70

℄

℄ ℄

℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 29/70

℄

℄

Æ

Æ

℄ ℄

℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 30/70

℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 31/70

Æ

Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 32/70

Æ

Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 33/70

℄

Æ

Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 34/70

Æ

Æ

℄

Æ

℄

℄

℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 35/70

. . .

which can be the CODOMAIN of which can be the DOMAIN of

product

equalizercoequalizer

THE FIRST objectTHE LAST object

pullback

direct limitinverse limit

final

pushout

sum

initial

. . .

℄

℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 36/70

Æ Æ

Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 37/70

℄

Æ

Æ

℄

℄

℄

℄

℄ ℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 38/70

Æ Æ

Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 39/70

℄

℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 40/70

Æ

Æ

Æ

Æ

Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 41/70

Æ

Æ Æ Æ Æ

Æ

Æ Æ Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 42/70

℄

℄

℄ ℄ ℄

℄

Æ

Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 43/70

℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 44/70

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 45/70

℄

℄ Æ ℄

℄ ℄

℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 46/70

℄

℄

℄ ℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 47/70

Æ

Æ

Æ

Æ

Æ

Æ

Æ

Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 48/70

℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 49/70

Æ

Æ

Æ Æ

Æ Æ

Æ Æ

Æ

Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 50/70

Æ Æ Æ Æ

Æ Æ Æ Æ

Æ Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 51/70

Æ

Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 52/70

Æ

Æ

Æ

Æ

Æ

Æ

Æ

Æ

℄

Æ

Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 53/70

℄ ℄

℄

℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 54/70

Æ

Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 55/70

℄

℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 56/70

℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 57/70

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 58/70

Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 59/70

Æ

Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 60/70

Æ

Æ

Æ

Æ

Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 61/70

℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 62/70

Æ

Æ

℄ ℄

℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 63/70

℄

℄ ℄ ℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 64/70

Æ

Æ

℄ Æ ℄

℄ ℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 65/70

℄ ℄

℄

Æ

Æ

Æ

℄

Æ

Æ Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 66/70

℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 67/70

℄ ℄

Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 68/70

℄

Æ

Æ

Æ

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 69/70

℄

8/15/2019 A Categorical Primer

http://slidepdf.com/reader/full/a-categorical-primer 70/70