態射是數學概念,意指兩個數學結構之間保持結構的過程的一種抽象。最常見的這種過程的例子是在某種意義上保持結構的函數或映射。
態射
在
集合論中,例如,態射就是函數,在
群論中,它們是群同態,而在
拓撲學中,它們是
連續函數。在
泛代數(universal algebra)的範圍,態射通常就是同態。
對態射和它們定義於其間的結構(或對象)的抽象研究構成了
範疇論的一部分。在範疇論中,態射不必是函數,而通常被視為兩個對象(不必是集合)間的箭頭。不象映射一個集合的元素到另外一個集合,它們只是表示域(domain)和陪域(codomain)間的某種關係。
儘管態射的本質是抽象的,多數人關於它們的直觀(事實上包括大部分術語)來自於具體範疇的例子,在那裡對象就是有附加結構的集合而態射就是保持這種結構的函數。