functor
C2 (Proficient User - Very Rare)Highly Technical/Specialist
Definition
Meaning
In mathematics and computer science, a function or mapping between categories that preserves the structure of the categories.
An abstract entity in category theory that maps objects to objects and morphisms to morphisms, respecting composition and identity. More generally, a programming construct that can be used with functions (like map in functional programming).
Linguistics
Semantic Notes
The term is almost exclusively used in formal, technical contexts. It is polysemous between pure mathematics (category theory) and theoretical computer science/functional programming, with closely related but not identical meanings. In linguistics (Montague grammar), it is used to denote a grammatical rule.
Dialectal Variation
British vs American Usage
Differences
No significant differences in meaning or usage. The term is international scientific/technical jargon.
Connotations
None beyond its technical precision.
Frequency
Equally rare in both dialects, confined to specialist discourse.
Vocabulary
Collocations
Grammar
Valency Patterns
[Verb] a functor (from X) to YThe functor [verbs] objects to...[Adjective] functorVocabulary
Synonyms
Neutral
Weak
Usage
Context Usage
Business
Never used.
Academic
Primary context. Used in advanced mathematics, theoretical computer science, and formal linguistics papers.
Everyday
Never used.
Technical
Secondary context. Used in functional programming documentation and discussions (e.g., 'The Maybe type is a functor').
Examples
By Part of Speech
adjective
British English
- The functorial properties of the mapping are essential for the proof.
- This construction is not functorial.
American English
- The functorial nature of the operation guarantees consistency.
- We need a functorial approach to model this.
Examples
By CEFR Level
- In functional programming, a list is a common example of a functor.
- The map function is how you apply a function to a functor.
- The forgetful functor from the category of groups to the category of sets simply ignores the group structure.
- To prove the theorem, we constructed a contravariant functor between the two relevant categories.
Learning
Memory Aids
Mnemonic
Think: A FUNCtor is like a FUNCTION for whole CATEGORIES. It transports structure from one domain to another.
Conceptual Metaphor
A TRANSPORTER or TRANSLATOR between worlds (categories). A MACHINE that takes in objects and arrows and outputs new ones, following rules.
Watch out
Common Pitfalls
Translation Traps (for Russian speakers)
- Do not confuse with 'функтор' (fúnktor), which is a direct but highly technical cognate. The Russian word is equally specialised.
- Avoid associating it with the common word 'функция' (fúnktsiya - 'function'), as the concepts, while related, are distinct. A functor operates on a higher level of abstraction.
Common Mistakes
- Using it in non-technical contexts.
- Confusing it with a simple 'function'.
- Mispronouncing it as /ˈfʌnktɔː/ (like 'doctor').
Practice
Quiz
In which field is the term 'functor' MOST precisely and originally defined?
FAQ
Frequently Asked Questions
No. While related, a function maps values to values. A functor is a higher-level concept that maps whole categories to categories (in maths) or maps functions over structures (in programming).
Absolutely not. It is a highly specialised term relevant only to advanced mathematics, theoretical computer science, and formal linguistics.
Think of a box that holds a value (like a List, Maybe, or Tree). A functor knows how to take a function and apply it to the value inside the box, giving you back a new box of the same shape with the transformed value inside. This is the 'map' operation.
No. Its usage, pronunciation, and meaning are identical in both dialects within the international technical communities where it is used.