短語(yǔ)詞組短語(yǔ)categorical type logic 范疇類型邏輯intensional logic and categorical grammar 第八章 返回 categorical logic