Difference between revisions of "Morphism"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
| − | 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. | + | 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. |
Revision as of 21:51, March 14, 2007
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.