Theory of categories - Mitchell, Barry (Academic, 1967)