Morphism (source code)

= Morphism
{wiki=Morphism}

A morphism is a map between objects that preserves the structure under consideration. Its precise compatibility conditions depend on the category of objects.