Morphism
This is an old revision of this page, as edited by Pixologic (talk | contribs) at 21:51, March 14, 2007. It may differ significantly from current revision.
In category theory, a morphism is a mapping between two categories. For example, morphisms between sets are functions; morphisms between groups are group homomorphisms; morphisms between topological spaces are continuous functions; morphisms between category of functors are natural transformations.