短语词组短語categorical type logic 範疇類型邏輯intensional logic and categorical grammar 第八章 返回 categorical logic