Theory of categories - Mitchell, Barry (Pure and applied mathematics (Academic Press), 1965)