CTFP10 /
Category Theory and Functional Programming 2010
Welcome to the information page of the Category Theory and Functional Programming study group of 2010 at Chalmers. Discussion group
Course plan
See Course Plan - including examination requirements.
Deadlines:
- Deliverables A&B ("literature review"): by Easter break
- Deliverables C&D ("active seminars"): continuous
- Deliverable E ("project report"): mortal deadline June 8th
- Deliverable F ("report review"): mortal deadline June 15th
News
Schedule
January 27th, 2010
Notes from this day's meeting 0 (thanks Tobias):
- Course material will follow the course that was given at Stanford (see reading material, below)
- The proposed examination forms was that one does either a library implementation OR a presentation of some paper covering category theory. That way, we will also cover the weeks that are left after the Stanford course material is covered.
- Before each meeting, one should have done the corresponding exercises in the Stanford course. We then discuss the results at the meeting
- Each meeting is planned for two hours, however if people feel like staying longer that is probably possible, since nobody has any lectures at 1900 anyway.
- Meeting times will be Tuesday 17:00, in EL42
Meetings
- When
- Tuesdays, at 17:00.
- Where
- Room EL41-3, EDIT building.
- What
- Read the material from http://www.haskell.org/haskellwiki/User:Michiexile/MATH198 of Mikael's Stanford course, and solve the exercises.
Reading Material
All course syllabus goes here.
- Category Theory by Steve Awodey (pdf), the textbook used in Mikael Vejdemo Johansson's Stanford course.
Additional
Category Theory material that is not part of the course syllabus, but which might be useful for those that are interested regardless.
- 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 we produced
- CT in Agda (darcs repository)
- The General Associative Law in Agda (doesn't termination check)
- Homework 3 in Agda
How to edit
Most pages under this "directory" have (reverse "lleksaH") as password.