Las categorías del entendimiento pueden producir conocimiento en virtud, según Kant, de que están mediadas por el tiempo. Hay cuatro tipos de categorías:
a) Las que refieren a la serie del tiempo (categorías de la cantidad)b) Las que refieren al contenido del tiempo (categorías de la cualidad)c) Las que refieren al orden del tiempo (categorías de la relación)d) Y las que refieren al conjunto del tiempo (categorías de la modalidad)
a) Las categorías de la cantidad (totalidad, pluralidad, unidad) se fundamentan en que tanto el espacio como el tiempo aparecen a priori como un todo compuesto de partes homogéneas.b) Las categorías de la cualidad (realidad, limitación, negación) se fundamentan en que siendo el espacio y el tiempo meramente formales (por lo que ellos mismos, en sí mismos, no pueden percibirse sino que son las percepciones las que se dan en ellos) constituyen en su formalidad el “momento cero” en una gradación de la intensidad con la que aparecen los fenómenos. c) Las categorías de la relación (sutancia-accidente, causa-efecto, acción recíproca) se basan respectivamente en los tres modos del tiempo: permanencia, sucesión y simultaneidad cuando en ellos se ve implicada la categoría modal de la necesidad.d) Precisamente, las categorías de la modalidad (necesidad, existencia-contingencia, posibilidad-contingencia) están basadas en la fortaleza con que se nos da la conexión entre los fenómenos, de un lado, y el espacio, el tiempo y, en su caso, otras categorías por otro. Llamamos posible a lo que aparece conectado solo al tiempo (y, en su caso, al espacio) formalmente, sin más; llamamos existente a lo que es real (categoría de la cualidad) en este momento del tiempo y necesario a lo que se nos aparece como real en todo momento de tiempo.