A mapping between categories that assigns to each object and morphism in the source category an object and morphism in the target category while preserving identities and composition (covariant) or reversing arrows (contravariant via the opposite category).

Principle

A functor translates categorical structure: it preserves the compositional algebra of morphisms and identities so categorical constructions (limits, colimits, naturality) are respected or coherently related across categories.

Demonstration

Forgetful functor U: Groups → Sets assigns to each group its underlying set and to each group homomorphism the underlying function; the Hom-functor Hom(A, -) maps objects to hom-sets and morphisms to pre- or post-composition maps.

Misapplication

Treating an assignment on objects alone as a functor without specifying images of morphisms or failing to check identity/composition laws; assuming a functor is full, faithful, or essentially surjective without verification.

Consequence

Functors enable transport of structure, comparison of categories, conception of natural transformations, and formulation of equivalences and adjunctions; they make abstract relationships concrete and composable.

Reversal

A bare correspondence of objects that ignores morphisms or composition is not a functor; such a reversal destroys the ability to reason about diagrams and naturality.

Boundary

Must specify action on objects and morphisms and satisfy functoriality (preserve identities and compositions); covariant versus contravariant must be explicit. Higher categorical generalizations (2‑functors, ∞‑functors) extend the idea.

Semantic Tension

Functor versus mere mapping of objects: functors must handle morphisms coherently; confusion arises between set-theoretic object mappings and categorical functors, and between covariant and contravariant behaviors.

Synthesis

A functor is the systematic translator between categories that carries objects and arrows while respecting the algebra of composition and identities, enabling coherent comparison and transfer of categorical structure.