Functor (source code)

= Functor
{wiki}

A functor maps objects and morphisms between categories while preserving identities and composition.