一 范畴的演绎与综合