Categories in computer science and logic

Bibliography

N. Benton et M. Hyland. Traced Premonoidal Categories. Theoretical Informatics and Applications 37(4):273-299, © EDP Sciences 2003. pdf.
Carsten Führmann. Varieties of effects. In Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2002), volume 2303 of LNCS, pages 144-158, Grenoble, 2002. Springer-Verlag. pdf
Saunders Mac Lane. Categories for the Working Mathematician (2nd ed.). Graduate Texts in Mathematics 5. Springer, 1998. ISBN 0-387-98403-8.
Saunders Mac Lane et Ieke Moerdijk. Sheaves in Geometry and Logic: A First Introduction to Topos Theory. Springer-Verlag, 1992.
Benjamin C. Pierce. Basic Category Theory for Computer Scientists. MIT Press, 1991.
Andrew M. Pitts. Categorical Logic. Chapter 2 of S. Abramsky and D. M. Gabbay and T. S. E. Maibaum (Eds) Handbook of Logic in Computer Science, Volume 5. Algebraic and Logical Structures, Oxford University Press, 2000. (A preliminary version appeared as Cambridge University Computer Laboratory Tech. Rept. No. 367, May 1995, ps.gz.)

Evaluation

Students attending the course should choose a paper in this list (temporary), write a short report about it, (which will be proof-read by me and two other students) and present it to the class. Please, tell me when you choose a paper: there should be at most one reader for each paper.

Diagrammes en latex

N'hésitez pas à m'aider à compléter la liste. Pour l'instant, je connais

xfig, en mettant du latex dans les champs de texte et en exportant comme il faut (méthode C),
le package de Paul Taylor qui est utilisé apparemment par beaucoup de catégoriciens,
celui de Kris Rose, qui est plutot utilisé par les informaticiens,
gpic ou pic, que j'utilisais jusque vers le cours 3,
metapost, qui est utilisé par pas mal de geeks, mais qui m'a eu l'air assez difficile d'accès quand je l'ai essayé,
omnigraffle, que j'utilise depuis environ le cours 4 (en conjonction avec LaTeXit), mais qui si j'ai bien compris n'existe que sous mac.

Mon avis: si vous pouvez utiliser omnigraffle avec latexit, ça poutre (concrètement on fait des diagrammes beaucoup plus vite). Sinon, pour le cours proprement dit, je pense que le package de Paul Taylor, voire la partie xymatrix de celui de Kris Rose devraient suffire. Si vous avez besoin de diagrammes particulièrement compliqués, essayez xfig, c'est presque wysiwyg, ce qui n'est pas déshonorant.