Namespaces
Variants
Actions

Functorial morphism

From Encyclopedia of Mathematics
Revision as of 17:29, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

An analogue of the concept of a homomorphism of (left) modules with common ring of scalars (in this, the role of the ring is played by the domain of definition of the functors, and the functors themselves play the role of the modules). Suppose that and are one-place covariant functors from a category into a category . A functorial morphism associates to each object of a morphism , in such a way that for every morphism in the following diagram is commutative:

If , then, setting , one obtains the so-called identity morphism of the functor . If and are two functorial morphisms, then, setting , one obtains the functorial morphism , called the product of and . Composition of functorial morphisms is associative. Therefore, for a small category , all functors from into and their functorial morphisms form a so-called functor category , or a category of diagrams with scheme .

Let be a functorial morphism and let and be two functors. The formulas

define functorial morphisms and , respectively. Then for any functorial morphisms and , the following relationship holds:

A functorial morphism is also called a natural transformation of functors. Functorial morphisms of many-place functors are defined by analogy with functorial morphisms of one-place functors.


Comments

References

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