Personal tools
You are here: Home Events LFCS PhD Lunch

LFCS PhD Lunch

— filed under:

Pizza Lunch and informal tutorial for all LFCS PhD students

What
  • Upcoming events
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 1-3pm.

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 Curry-Howard isomorphism here). If time permits, I might also talk more about adjunctions,
monads and categorical models of computational effects. 
 
See you there
Document Actions