Langage et concepts catégoriques pour les mathématiques et l’informatique

This is a wiki for a course at the MSTII "École doctorale" of Grenoble.

Students are encouraged to participate by extending the wiki, adding proofs, corrections for exercices etc. To be able to modify the wiki, you need to register (upper right corner). Please use your real name...

News

Courses are on wednesdays morning, 9'00 to 12'00 in room F218 at the "UFR IMAG".

• first course on the 25th of February: categories, functors, natural transformations.

Course Complements, references

One of the best books about category theory is

• Saunder MacLane, "Categories for the Working Mathematician".

It is a little "dry", in the sense that learning categories from it is not the easiest task on earth, but it still is one of the best references.

I haven't really read it carefully, but here is what Wikipedia has to say on category theory.