Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
PLClub Student Reading Group

PLClub Student Reading Group

Term	Spring 2004
Topic	Category Theory for Computer Science
Text	Categories for Everybody. Notes by Steve Awodey (PS) (PDF)
Location	Levine Hall 307
Time	1:30-2:50pm, Thursday
Organizers	Nate Foster, Geoff Washburn
Mailing list	reading-s04@lists.seas.upenn.edu

Date	Topic	Presenter
Jan 15th	Awodey Chapter 1	Nate
Jan 22nd	Awodey Chapter 1.7,1.8, 2	Nate & Geoff
Jan 29th	Awodey Chapter 2.3,2.4, 3	Geoff & Dimitris
Feb 5th	Awodey Chapter 3.4-3.9	Dimitris
Feb 12th	Awodey Chapter 4	Stephen
Feb 19th	Awodey Chapter 5	Alwyn
Feb 26th	Awodey Chapter 5	Alwyn
Mar 4th	Awodey Chapter 5, 6?	Geoff & Peng
Mar 11th	Spring Break - No Meeting
Mar 18th	Awodey Chapter 6	Peng
Mar 25th	Awodey Chapter 7	Nate
Apr 1st	Awodey Chapter 8	Alwyn
Apr 8th	Mitchell Foundations for Prog. Lang. Section 7.4	Steve Z
Apr 15th	Mitchell Section 7.4	Steve Z
Apr 22nd	Mitchell Section 7.4	Steve Z
Apr 29th	No Meeting (CIS 511 WPE)
May 6th	Mitchell Section 7.4	Steve Z

Other Resources

Books

Categories, Types and Structures. An introduction to Category Theory for the working computer scientist.. Andrea Asperti and Giuseppe Longo.
Computational Category Theory. D. E. Rydeheard and R.M. Burstall.
Category Theory for Computing Science. Michael Barr and Charles Wells. (Not free)
Basic Category Theory for Computer Scientists (Foundations of Computing). Benjamin Pierce. (Not free)

Notes

Lecture notes by Caccamo, Hyland & Winskel.
Lecture notes by Daniele Turi.
Lecture notes by Leinster.

Papers

Using functor categories to generate intermediate code. John C. Reynolds.
The categorical abstract machine. G. Cousineau & P.-L. Curien.
First Order Linear Logic in Symmetric Monoidal Closed Categories. Simon Ambler.

Software

SML source to accompany Computational Category Theory.

Mailing Lists

Categories mailing list
Types mailing list

Journals

Theory and Applications of Categories.

Other

Stanford Encyclopedia of Philosophy Entry (good bibilography).
WikiPedia Category Theory Entry.