态射

数学上,一个态射(morphism)是两个数学结构之间保持结构的过程的一种抽象。

最常见的这种过程的例子是在某种意义上保持结构的函数或映射。在集合论中，例如，态射就是函数，在群论中，它们是群同态，而在拓扑学中，它们是连续函数。在泛代数(universal algebra)的范围，态射通常就是同态。

对态射和它们定义于其间的结构(或对象)的抽象研究构成了范畴论的一部分。在范畴论中，态射不必是函数，而通常被视为两个对象(不必是集合 )间的箭头。不象映射一个集合的元素到另外一个集合，它们只是表示域(domain)和陪域(codomain)间的某种关系。

尽管态射的本质是抽象的，多数人关于它们的直观(事实上包括大部分术语)来自于具体范畴的例子，在那里对象就是有附加结构的集合而态射就是保持这种结构的函数。