finita classe operatore e categoria (manca debug)