Theory of categories - Mitchell, Barry (1965)