The category of roots and the roots of categories: what we learn from selection in derivation · Study