Summer School on Category Theory
The school will be carried out in English, attendance is free of charge, but the number of participants is potentially limited. The exact time and venue will be announced later.
To register for the school and receive future announces please join the following group:
Category Theory lies at the border of logic with algebra. It arose from algebraic topology in the 1940's and it continues to see application there. Since at least the 1970's, it has also been applied to and informed by computer science. In this course, motivated by computer science, and with examples primarily arising from computer science, we will introduce and explore some of the main themes of category theory.
No prior knowledge beyond familiarity with sets and functions is required for the course: we will establish at the start what participants know and we will work from there. For those participants with background in theoretical computer science, one sensible view of the course would be to see it as providing a mathematical foundation for the work in the Winter 2017 school on Denotational Semantics; but, as mentioned above, such knowledge is not requisite.
I expect to focus on the following five themes, corresponding broadly to the five days of the course:
1. what does it mean to have a left adjoint?
2. how can one use category theory to model universal algebra?
3. what is an enriched category?
4. how does one handle size issues such as the paradox of the set of all sets?
5. what is a 2-category?
In case you would like to read a little in advance, the single best text I know on category theory for computer scientists is Michael Barr and Charles Wells, Category Theory for Computing Science Third Edition, Les Publications CRM, 1999, ISBN 2-921120- 31-3 which is freely available at http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdfhttp://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf.
- About schools
12-16 August 2019Summer School on Probabilistic Programming
27-31 August 2018Summer School on Category Theory
28 August - 1 September 2017Summer School on Weak Memory Consistency
30 January - 3 February 2017Winter School on Denotational Semantics
22-26 August 2016Summer School on Game Semantics
24-28 August 2015Summer School on Relational Programming
2-6 February 2015Winter School on Abstract Interpretation
25-29 August 2014Programs and Proofs: Mechanizing Mathematics with Dependent Types
3-7 February 2014Winter School on Metacalculations
26-30 August 2013Summer School on Memory Management