# 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)

## Course plan

See Course Plan - including examination requirements.

## News

Register your favourite papers: Presentations

## Reading Material

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

## Educational details

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).

## Additional

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

## Individual pages

# How to edit

Most pages under this "directory" have (reverse "lleksaH") as password; maybe.