column value
英文名稱 categorical theory
中文名稱 範疇論