Logic and Categories As Tools For Building Theories
  We give a short introduction to category theory aimed at philosophers. We emphasize methodological issues and philosophical ramifications. 
Samson Abramsky
math.CT