functor (Q1371)
in category theory, a mapping between categories that preserves their structure (identity morphisms, composition of morphisms)
- covariant functor
- contravariant functor
Language | Label | Description | Also known as |
---|---|---|---|
English | functor |
in category theory, a mapping between categories that preserves their structure (identity morphisms, composition of morphisms) |
|