column value
英文名稱 morphism
中文名稱 映型;態射