V-valued presheaf

1. Definition

Let \(\mathcal{C}\) be a small category and \(\mathcal{V}\) another category. A \(V\)-valued presheaf is a contravariant functor

\begin{align*} F: \mathcal{C} \rightarrow \mathcal{V} \end{align*}

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 15:56