PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] functorial morphism (Feature)

Functorial morphism is another name for natural transformation which was, and still is, employed especially in the context of category theory and applications developed by Charles Ehresmann, the `Nicolas Bourbaki' group and other French schools of mathematics; this is also a natural, English translation of the same concept from French, that is a `morphism between functors', viz. (ref. [4]).

Bibliography

1
A. Hatcher, Algebraic Topology, Cambridge University Press, 2002.
2
S. Mac Lane, Categories for the Working Mathematician (2nd edition), Springer-Verlag, 1997.
3
C. Ehresmann, Trends Toward Unity in Mathematics., Cahiers de Topologie et Geometrie Differentielle 8: 1-7, 1966.
4
C. Ehresmann, Catégories et Structures. Dunod: Paris , 1965.
5
C. Ehresmann, Catégories doubles des quintettes: applications covariantes , C.R.A.S. Paris, 256: 1891-1894, 1963.
6
C. Ehresmann, Oeuvres complètes et commentées: Amiens, 1980-84, 1984 (edited and commented by Andrée Ehresmann).
7
S. Eilenberg and S. Mac Lane., Natural Isomorphisms in Group Theory., American Mathematical Society 43: 757-831, 1942.
8
S. Eilenberg and S. Mac Lane, The General Theory of Natural Equivalences, Transactions of the American Mathematical Society 58: 231-294, 1945.
9
P. Gabriel, Des catégories abéliennes, Bull. Soc.Math. France 90: 323-448, 1962.
10
A. Grothendieck, and J. Dieudoné, Eléments de geometrie algébrique., Publ. Inst. des Hautes Etudes de Science, 4, 1960.
11
N. Popescu, Abelian Categories with Applications to Rings and Modules., New York and London: Academic Press., 1973, 2nd edn. 1975, (English translation by I.C. Baianu).




"functorial morphism" is owned by bci1.
(view preamble | get metadata)

View style:

See Also: natural transformation, fundamental groupoid functors, monad, Eilenberg-MacLane space, sheaf, fundamental groupoid, homotopy double groupoid of a Hausdorff space

Other names:  morphisms between functors, morphism in the 2--category of functorsnatural transformations
Also defines:  transformations
Keywords:  morphism of a functor category, natural transformation, functor categories, natural transformations

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: viz, functors, morphism, translation, group, Bourbaki, applications, category theory
There are 107 references to this entry.

This is version 17 of functorial morphism, born on 2008-07-20, modified 2009-01-29.
Object id is 10841, canonical name is FundamentalGroupoid2.
Accessed 2843 times total.

Classification:
AMS MSC18A25 (Category theory; homological algebra :: General theory of categories and functors :: Functor categories, comma categories)
 18-00 (Category theory; homological algebra :: General reference works )
 18A05 (Category theory; homological algebra :: General theory of categories and functors :: Definitions, generalizations)
 55R37 (Algebraic topology :: Fiber spaces and bundles :: Maps between classifying spaces)
 55R65 (Algebraic topology :: Fiber spaces and bundles :: Generalizations of fiber spaces and bundles)
 55R10 (Algebraic topology :: Fiber spaces and bundles :: Fiber bundles)
 55P99 (Algebraic topology :: Homotopy theory :: Miscellaneous)

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)