Mike Stay has just posted “Category Theory for the Java Programmer,” an introduction to the subject intended for people with practical programming experience. This is the latest, but hopefully not the last, in a series of introductory articles on his blog:
- “Monoids” (12 September 2007).
- “Multiplication:composition::monoid:category” (12 September 2007).
- “Functors as Shadows” (15 September 2007).
- “Cartesian categories and the problem of evil” (19 September 2007).
For more in this vein, see my work-in-progress list of Category Theory on the Wobosphere.