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.
Actions:
Calendar
(ICS file) download, for import into your favourite calendar application
UNCLUTTER
for printing
AUTHENTICATE to mark the scnews item as read