A functor bridges two categories. If you have Category and Category , a functor Maps every Object in to an object in Maps every Morphism in to a morphism in Preserves Structure Preserving Identity: Preserving Composition: