Namespaces
Variants
Actions

Difference between revisions of "Morphism"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (TeX done)
Line 1: Line 1:
 
''of a category''
 
''of a category''
  
A term used to denote the elements of an arbitrary [[Category|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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064940/m0649401.png" /> is usually denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064940/m0649402.png" />.
+
A term used to denote the elements of an arbitrary [[Category|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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064940/m0649403.png" /> of a category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064940/m0649404.png" /> has a uniquely defined domain (source) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064940/m0649405.png" /> and a uniquely defined codomain (target) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064940/m0649406.png" />. All morphisms with common domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064940/m0649407.png" /> and codomain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064940/m0649408.png" /> form a subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064940/m0649409.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064940/m06494010.png" />. The fact that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064940/m06494011.png" /> has domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064940/m06494012.png" /> and codomain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064940/m06494013.png" /> can be written in the usual way: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064940/m06494014.png" /> or, using arrows, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064940/m06494015.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064940/m06494016.png" />, etc.
+
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|Monomorphism]]; [[Epimorphism|Epimorphism]]; [[Bimorphism|Bimorphism]]; [[Isomorphism|Isomorphism]]; [[Normal monomorphism|Normal monomorphism]]; [[Normal epimorphism|Normal epimorphism]]).
 
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|Monomorphism]]; [[Epimorphism|Epimorphism]]; [[Bimorphism|Bimorphism]]; [[Isomorphism|Isomorphism]]; [[Normal monomorphism|Normal monomorphism]]; [[Normal epimorphism|Normal epimorphism]]).
Line 14: Line 14:
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  B. Mitchell,  "Theory of categories" , Acad. Press  (1965)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  B. Mitchell,  "Theory of categories" , Acad. Press  (1965)</TD></TR></table>
 +
 +
{{TEX|done}}

Revision as of 00:52, 13 January 2017

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