Also known as arrow, 1-cell
In mathematics, a morphism is a concept of category theory that generalizes structure-preserving maps such as homomorphism between algebraic structures, functions from a set to another set, and continuous functions between topological spaces. Although many examples of morphisms are structure-preserving maps, morphisms need not be maps, but they can be composed in a way that is similar to function composition.
Wikidata facts
- Subclass of
- mathematical object
- Part of
- category
Show 5 more facts
- topic's main category
- Category:Morphisms
- Commons category
- Morphisms
- different from
- mapping
- studied by
- category theory
- maintained by WikiProject
- WikiProject Mathematics
via Wikidata · CC0
Article · 中文
态射（英語：Morphism）在数学中是指两个数学结构之间保持结构的一种映射。 许多当代数学领域中都有态射的身影。例如，在集合论中，态射就是函数；在群论中，它们是群同态；而在拓扑学中，它们是连续函数；在泛代数（universal algebra）的范围，态射通常就是同态。 对态射和它们定义于其间的结构（或对象）的抽象研究构成了范畴论的一部分。在范畴论中，态射不必是函数，而通常被视为两个对象（不必是集合）间的箭头。不像映射一个集合的元素到另外一个集合，它们只是表示域（domain）和陪域（codomain）间的某种关系。 尽管态射的本质是抽象的，多数人关于它们的直观（事实上包括大部分术语）来自于具体范畴的例子，在那里对象就是有附加结构的集合而态射就是保持这种结构的函数。
Abstract from DBpedia / Wikipedia · CC BY-SA