Categorical Foundations - innbundet, Engelsk, 2003