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*}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
Created: 2024-10-13 So 15:56