短语词组短语categorical type logic 范畴类型逻辑intensional logic and categorical grammar 第八章 返回 categorical logic