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