This site contains wiki-pages for the department of computer science and engineering at Chalmers and GU. |
CTFP11 /
## Category Theory and Functional Programming 2011Last 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 planSee Course Plan - including examination requirements. ## NewsRegister your favourite papers: Presentations ## Reading MaterialAll 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 detailsThe 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). ## AdditionalCategory 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 editMost pages under this "directory" have (reverse "lleksaH") as password; maybe. |

Page last modified on February 25, 2011, at 12:24 AM