caterpillar pseudocaterpillar caterpillar tree decategorification mathematicization metrization dendrification mathematization categorification morphology