Inductive reasoning with or without categories