Why is it Bad to Discretize a Continuous Variable? I am an MBA Student taking courses in statistics.  I was doing some reading online and came across Carstensen (2020), which I unfortunately do not have access to.
This article suggests that "categorizing quantitative variable" is bad - but I am not sure why this is. Our professor in our statistics courses showed us examples where a decision tree was fit to some data where the dependent variable was originally continuous, but then "binned" into groups. In his example, this strategy seemed to work fine - but some other references are suggesting that this is bad practice.
Can someone please explain why doing this might not be ideal? I understand that if you make arbitrary bins that this could lead to problems and lose information in the process - but if the bins are made carefully and rigorously tested, why is it bad to "categorize quantitative variables"?

There are two main issues here that militate against discretisation into bins for statistical analysis.  The first is that this generally involves some loss of information, since different values are put into the same bin, and so there is a corresponding loss of statistical power in the analysis.  The second is that such an approach fails to produce inferences that change in a continuous manner with the continuous variable of interest; instead the inferences change over the bins and so they appear as "jumps" when looked at on the original continuous scale.  Neither of these problems are necessarily fatal, particularly if you have a reasonably large number of bins to reduce the loss of information.
Ideally, we would be able to model continuous data with models that treat them as continuous.  However, continuous models generally involve some specification of a parametric family of distributions that limits the generality of analysis, and this means that there are distributional assumptions that might or might not fit the data well.  (By contrast, in the discrete case the multinomial distribution fits all possible probability distributions for the number of outcomes occurring over a finite, or even countably infinite, set of finite bins.)  It is usually possible to fit a continuous model that works well on the data if you have an expansive set of tools and the ability to generalise continuous models when they don't fit well.  The difficulty that some analysts encounter is that they may find that standard continuous models they use for inference (e.g., linear regression) aren't fitting their continuous variables well and they may reach the limit of their ability to generalise these models effectively to improve things.  In such cases, analysts sometimes fall back on the discretisation into bins in order to allow them to apply highly general discrete models (e.g., the multinomial) that do not assume any particular distributional forms.  This is a trade-off --- you lose some information and the ability to make smooth inferences about a continuous variable, but you have a high level of generality of the remaining discretised variable and it falls within well-known model forms that are easy to apply.
I note your proposal that discretisation might be okay "...if the bins are made carefully and rigorously tested...".  It is easy to say that, but how do you propose to test them (against what), if not by comparing them to an initial analysis of the continuous variable?  If you "rigorously test" the discretised method and inference by comparing it to a continuous model that is taken to be the correct analysis, then you already presumably have a well-fitted continuous model, so what is the point of the discretisation?  If you can't get that comparator, then what exactly is your proposed "rigorous test" doing?  It is not necessarily impossible to answer these questions sensibly, but you would need to think more about what exactly you propose to do and how it helps you.
The above gives you a practical idea of the issue, but I would be remiss if I did not expand on this with a little excursion into the philosophy and foundations of mathematics and computing.  In particular, it is worth noting that all continuous data is discretised to some extent in statistical analysis, due to the finite precision of computational representation of numbers.  At best we represent continuous variables up to some finite level of precision (e.g., standard precision under floating-point arithmetic) and so we always implicitly use a discretised scale where the "bins" are tiny intervals that are too small to be differentiated under the computational representation.  (Usually these bins are precise enough to avoid duplicate values of the "continuous" variable.)  Since this is a necessity of analysis, there cannot be any in principle objection to some discretisation of continuous variables in analysis, and so the question becomes one of degree.  To take a deeper excursion into the philosophy of mathematics, finitists like Doron Zeilberger would go further with this representation argument and object even to the assertion that continuous random variables, continuous functions, or infinite sets exist; they would say that all purportedly continuous variables are actually discrete, up to the finite level of accuracy of the computational representation, and so the real question is only whether we want to aggregate smaller bins into larger bins.
