短語詞組短語categorical type logic 範(fàn)疇類型邏輯intensional logic and categorical grammar 第八章 返回 categorical logic