column value
英文名稱 universal element of functor
中文名稱 函子的泛元