in that deduction the Critique proved, first, that the categories are not of empirical origin but have their seat and source a priori in pure understanding; and also, second, that since they are referred to objects as such, independently of the intuition thereof, they indeed bring about theoretical cognition only when applied to empirical objects.