The computational notion of ''trading spaces'' is highly relevant to t
he psychological domain of categorization. The ''theory'' view of conc
epts can be interpreted as a recoding view. A design principle for exp
loiting learned recodings in order to handle the type-2 problem of for
ming sophisticated concepts is outlined.