Definition:Functor/Contravariant/Definition 2
Jump to navigation
Jump to search
Definition
Let $\mathbf C$ and $\mathbf D$ be metacategories.
A contravariant functor $F : \mathbf C \to \mathbf D$ is a covariant functor:
- $F: \mathbf C^{\text{op}} \to \mathbf D$
where $\mathbf C^{\text{op}}$ is the dual category of $\mathbf C$.
Also see
Sources
- 2010: Steve Awodey: Category Theory (2nd ed.) ... (previous) ... (next): $\S 5.5$: Definition $5.26$