态射
维基百科,自由的 encyclopedia
态射(英语:Morphism)在数学中是指两个数学结构之间保持结构的一种映射。
此条目需要精通或熟悉相关主题的编者参与及协助编辑。 (2011年12月11日) |
许多当代数学领域中都有态射的身影。例如,在集合论中,态射就是函数;在群论中,它们是群同态;而在拓扑学中,它们是连续函数;在泛代数(universal algebra)的范围,态射通常就是同态。
对态射和它们定义于其间的结构(或对象)的抽象研究构成了范畴论的一部分。在范畴论中,态射不必是函数,而通常被视为两个对象(不必是集合)间的箭头。不像映射一个集合的元素到另外一个集合,它们只是表示域(domain)和陪域(codomain)间的某种关系。
尽管态射的本质是抽象的,多数人关于它们的直观(事实上包括大部分术语)来自于具体范畴的例子,在那里对象就是有附加结构的集合而态射就是保持这种结构的函数。