contravariant representable functor
1. Definition
Let \(\mathcal{C}\) be a locally small category and \(\mathrm{Set}\) the category set.
A contravariant functor \(\mathcal{F}: \mathcal{C} \rightarrow \mathrm{Set}\) is said to be representable, if it admits a contravariant representation of a functor