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

Date: nil

Author: Anton Zakrewski

Created: 2024-10-19 Sa 21:04