Category Theory and Functional Programming 2011
Last year: CTFP10
Welcome to the information page of the Category Theory and Functional Programming study group of 2011 at Chalmers. Discussion group (for this year also)
See Course Plan - including examination requirements.
Register your favourite papers: Presentations
All course syllabus goes here.
- Category Theory by Steve Awodey (pdf 2nd ed), the textbook used in Mikael Vejdemo Johansson's Stanford course.
- Basic Category Theory Benjamin C. Pierce
- Category Theory for Computer Science, Barr & Wells
- "Category Theory Lecture Notes". Retrieved 11 December 2009-12-11. Based on their book Category Theory for Computing Science.
- Categories for the Working Mathematician, Saunders Mac Lane
The course is on the PhD level, but if you are a MSc student and what credit for it you can either "tillgodoräkna" the course after it is finished (if your MSc programme director approves) or register for the Research-oriented special course (if the examiner of that course approves).
Category Theory material that is not part of the course syllabus, but which might be useful for those that are interested regardless.
- An Informal Introduction to Topos Theory
- Databases are Categories
- Databases are Categories 2: Refinements and Extensions
- The mother of all X
- A Brutal Introduction to Arrows
- Generically adding position information to a datatype
- The Galois connection between syntax and semantics
- Flipping arrows in coBurger King; Category theory crash course for the working Haskell programmer
- Relating Category Theory to Programming Language Theory (sigfpe)
- Adjoint Folds and Unfolds by Ralf Hinze.
- An introduction to Category Theory for Software Engineers
- Make Category Theory Intuitive! by Jocelyn Paine.
- The Catsters' Channel (video lectures)
- A Partial Ordering of some Category Theory applied to Haskell by sigfpe.
- Using Arrows for Dependency Handling by jaspervdj.
- Introduction to Category Theory by Graham Hutton.
- Monads in mathematics series
- Category Theory: A Programming Language-Oriented Introduction by Pierre-Louis Curien, lecture notes from his class.
Things produced last year
How to edit
Most pages under this "directory" have (reverse "lleksaH") as password; maybe.