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: