morphismi
Morphism is a structure-preserving map between two objects in a mathematical setting. The notion depends on the category or algebraic structure in question: a morphism f: A → B respects the defining operations and relations that characterize A and B.
In category theory, a category consists of objects and morphisms (arrows) with composition and identity. If
Examples illustrate the scope of the concept. In Set, morphisms are functions between sets. In Groups, morphisms
Special kinds of morphisms include isomorphisms, which have inverses and thus express structural equivalence; monomorphisms (left-cancellable)
In higher-level language, morphisms are the arrows of a category; functors map between categories by sending