A Realist Theory of the Categories