SMS scnews item created by Yinan Zhang at Tue 6 Sep 2011 1808
Type: Seminar
Distribution: World
Expiry: 15 Sep 2011
Calendar1: 15 Sep 2011 1300-1400
CalLoc1: New Law 020
Auth: yzhang@27-32-19-217.static.tpgi.com.au (yzha7096) in SMS-WASM

SUMS: Barter -- Defining the natural numbers using category theory

In the talk I will explain what category theory is.  I will demonstrate the power of
category theory by defining the natural numbers in two ways: via a universal property
and via representable functors.