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.