On the (Non-) Universality of Functional Categories · Study