| − | In [[category theory]], a morphism is a mapping between two categories. | + | 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. |