BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.bham.ac.uk//v3//EN
BEGIN:VEVENT
CATEGORIES:SoCS PhD Research Training Sessions
SUMMARY:Introduction to Category Theory - Paul Levy (Unive
rsity of Birmingham)
DTSTART:20181024T110000Z
DTEND:20181024T130000Z
UID:TALK3407AT
URL:/talk/index/3407
DESCRIPTION:Categories are ubiquitous in mathematics and compu
ter science. In the\nfirst part of the talk I'll
give the definition of a category and\nseveral exa
mples:\n\n* the category of towns and routes\n* th
e category of sets and functions\n* the category o
f natural numbers and real matrices\n* the categor
y of Java types and unary methods\n* the category
of students\, preordered by success.\n\nIn the sec
ond part we'll look at three categorical concepts:
isomorphism\, initial object and terminal object.
\n
LOCATION:Learning Centre - UG10
CONTACT:Fatma Faruq
END:VEVENT
END:VCALENDAR