|
|
|
|
endomorphism
|
(Definition)
|
|
|
Endomorphism is such morphism (morphism is another term for homomorphism) whose source and destination are the same object.
That is a morphism $f$ is endomorphism, when $\mathrm{Src}f=\mathrm{Dst}f=A$ where $A$ is some object (e.g. $A$ may be an abstract algebra). Then one can say, the object of endomorphism $f$ is $A$
In the most general case endomorphisms are encountered in category theory. As a special case of this endomorphisms are also encountered in abstract algebra.
A morphism which is both an endomorphism and an isomorphism is called automorphism.
The sets of endomorphisms and automorphisms for an object $A$ of a category are often denoted correspondingly as $\mathrm{End}(A)$ and $\mathrm{Aut}(A)$ or sometimes as $\mathrm{end}(A)$ and $\mathrm{aut}(A)$
Endomorphisms also can be considered as objects of category of intermorphisms and (if the set of morphisms of our category is preordered) also of category of pseudomorphisms.
|
"endomorphism" is owned by porton.
|
|
(view preamble | get metadata)
Cross-references: preordered, category, isomorphism, category theory, algebra, object, source, morphism
There are 13 references to this entry.
This is version 8 of endomorphism, born on 2005-10-29, modified 2007-06-23.
Object id is 7462, canonical name is Endomorphism2.
Accessed 7373 times total.
Classification:
| AMS MSC: | 18A05 (Category theory; homological algebra :: General theory of categories and functors :: Definitions, generalizations) | | | 18A20 (Category theory; homological algebra :: General theory of categories and functors :: Epimorphisms, monomorphisms, special classes of morphisms, null morphisms) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|