|
|
Welcome |
|
|
Teaching |
|
|
Research |
|
|
Projects |
|
|
CV |
|
|
Contact info |
|
|
Other stuff |
|
|
Links |
This talk is a tutorial on the basic concepts of Category Theory (CT). The goal is to show the relevance of CT in multi-paradigm modelling, and to introduce Categories and Functors. CT has played a fundamental role in Computer Science, particularly in relation with Type Theory, functional programming and Semantics in general. Nonetheless its scope is much wider, and is considered nowadays an established, well-organized framework of Mathematics. The material is introductory, and is intended for people with no background on CT.
The slides are available in the following formats: