态射 态射英語Morphism在数学中是指两个数学结构之间保持结构的一种映射 许多当代数学领域中都有态射的身影例如在集合论中态射就是函数在群论中它们是群同态而在拓扑学中它们是连续函数在泛代数universal algebra的范围态射通常就是同态 对态射和它们定义于其间的结构或对象的抽象研究构成了范畴论的一部分在范畴论中态射不必是函数而通常被视为两个对象不必是集合间的箭头不像映射一个集合的元素到另外一个集合它们只是表示域domain和陪域codomain间的某种关系 尽管态射的本质是抽象的多数人关于它们的直观事实上包括大部分术语来自于具体范畴的例子在那里对象就是有附加结构的集合而态射就是保持这种结构的函数