Theory of categories - Mitchell, Barry (Academic Press, 1965)