范畴化涉及抽象的两个层次，作类比只涉及一个