Text this: Mathematics in Kant's critical philosophy