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: (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.

ball Calendar (ICS file) download, for import into your favourite calendar application
ball UNCLUTTER for printing
ball AUTHENTICATE to mark the scnews item as read
School members may try to .