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