In category theory, a mapping between categories that preserves their structure (identity morphisms, composition of morphisms)