LFCS PhD Lunch
—
filed under:
Upcoming events
Pizza Lunch and informal tutorial for all LFCS PhD students
What 


When 
Mar 26, 2014 from 01:00 PM to 03:00 PM 
Where  IF 4.02 
Add event to calendar 
vCal iCal 
PhD Lunch in March will be on Wednesday the 26th, at the usual time 13pm.
FREE PIZZA and other snacks will be provided. The tutorial will be given by Danel Ahman on
Category theory intro for CS
=======================================
I will present some basic material from category theory that every CS
postgraduate
student ought to know about. I will start with the basic definitions of categories, functors
and natural transformations. I will then describe some additional structure on categories,
such as products, coproducts, exponentials, terminal and initial objects. As an additional
treat, I will also illustrate how this additional structure gives semantics to both the simply
typed lambda calculus and intuitionistic propositional logic (not surprisingly, we will rediscover
the CurryHoward isomorphism here). If time permits, I might also talk more about adjunctions,
monads and categorical models of computational effects.
student ought to know about. I will start with the basic definitions of categories, functors
and natural transformations. I will then describe some additional structure on categories,
such as products, coproducts, exponentials, terminal and initial objects. As an additional
treat, I will also illustrate how this additional structure gives semantics to both the simply
typed lambda calculus and intuitionistic propositional logic (not surprisingly, we will rediscover
the CurryHoward isomorphism here). If time permits, I might also talk more about adjunctions,
monads and categorical models of computational effects.
See you there