Classifier systems, Q-morphisms, and induction