Saturday, January 12, 2008

These are beginner level references for Category theory, ones that can be read by students of Computer Science. I haven't had a chance to look at all of this material myself. Ones that I have looked at have been marked with a star. Things that I think are better beginner material have more stars. At the time of this writing I am an absolute beginner in category theory and to most of abstract mathematics (with possible exception of Set theory), hence take my opinions here as just that - beginner level opinions. Finally, material that has been recommended to me by some of my professors has been marked with a +.

Categories
by T S Blyth (amazon) **

An Introduction to Categories in Computing
by Barry Jay (PS file)

Category Theory for Computing Science
by Michael Barr and Charles Wells (homepage of Charles Wells) (PS file of lecture notes) ++

Categories, Types and Structures: Category Theory for the working computer scientist
by Andrea Asperti and Giuseppe Longo (PS book) +

Category Theory for Beginners
by Steve Easterbrook (PDF slides)

Elements of Basic Category Theory
by Alfio Martini (citeseer)

Computational Category Theory
by D.E. Rydeheard and R.M. Burstall (PDF)

A Categorical Manifesto
by Joseph A. Goguen (citeseer)

Basic Category Theory for Computer Scientists
by Benjamin Pierce (amazon) *+

Sunday, July 20, 2008 4:14:54 PM (Eastern Standard Time, UTC-05:00)
and the original which reshaped the inside of my head:

"The Categorical Imperative - Structures, Arrows, and Functors"
by Arbib & Mannes
Mike
Sunday, July 20, 2008 4:53:32 PM (Eastern Standard Time, UTC-05:00)
How can you omit "Categories for the Working Mathematician" by Saunders MacLane? Not beginner level, but definitive.
Michael Abbott
Name
E-mail
Home page

Comment (Some html is allowed: a@href@title, strike) where the @ means "attribute." For example, you can use <a href="" title=""> or <blockquote cite="Scott">.  

Enter the code shown (prevents robots):

Live Comment Preview