Namespaces
Variants
Actions

Morphism

From Encyclopedia of Mathematics
Revision as of 00:52, 13 January 2017 by Jgarber (talk | contribs) (TeX done)
Jump to: navigation, search

of a category

A term used to denote the elements of an arbitrary category which play the role of mappings of one set into another, homomorphisms of groups, rings, algebras, continuous mappings of topological spaces, etc. A morphism of a category is an undefined concept. Each category consists of elements of two classes, called the class of objects and the class of morphisms, respectively. The class of morphisms of a category $\mathfrak{K}$ is usually denoted by $\operatorname{Mor} \mathfrak{K}$.

Any morphism $\alpha$ of a category $\mathfrak{K}$ has a uniquely defined domain (source) $A$ and a uniquely defined codomain (target) $B$. All morphisms with common domain $A$ and codomain $B$ form a subset $H_{\mathfrak{K}} \! \left({A, B}\right)$ of $\operatorname{Mor} \mathfrak{K}$. The fact that $\alpha$ has domain $A$ and codomain $B$ can be written in the usual way: $\alpha \in H_{\mathfrak{K}} \! \left({A, B}\right)$ or, using arrows, $\alpha : A \to B$, $A \xrightarrow{\alpha} B$, etc.

The division of the elements of a category into morphisms and objects is meaningful only within the context of a fixed category, since the morphisms of one category may be the objects of another and conversely. The morphisms of any category form a system that is closed under a partial binary operation — multiplication. Depending on the properties of morphisms relative to this operation, special classes of morphisms can be distinguished, for example, the classes of monomorphisms, epimorphisms, bimorphisms, isomorphisms, null (zero) morphisms, normal monomorphisms, normal epimorphisms, etc. (cf. Monomorphism; Epimorphism; Bimorphism; Isomorphism; Normal monomorphism; Normal epimorphism).


Comments

References

[a1] B. Mitchell, "Theory of categories" , Acad. Press (1965)
How to Cite This Entry:
Morphism. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Morphism&oldid=40176
This article was adapted from an original article by M.Sh. Tsalenko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article