A functor is a mapping between categories that preserves identity morphisms and composition of morphisms. Luckily this is just a gemini capsule.
A functor is a mapping between categories that preserves identity morphisms and composition of morphisms. Luckily this is just a gemini capsule.