Se elige el término categoría de Aristóteles pero en el sentido de Kant con la intención de asociarlo a una forma pura pero en el contexto exclusivamente matemático, es decir, sin efectos fuera de las matemáticas.