Definition 7.2.2 (00V3)—The Stacks project

Loading web-font TeX/Caligraphic/Regular

Table of contents
Part 1: Preliminaries
Chapter 7: Sites and Sheaves
Section 7.2: Presheaves
Definition 7.2.2 (cite)

previous definition
next remark

numberstags

history
statistics

Definition 7.2.2. Let $\mathcal{C}$ , $\mathcal{A}$ be categories. A presheaf $\mathcal{F}$ on $\mathcal{C}$ with values in $\mathcal{A}$ is a contravariant functor from $\mathcal{C}$ to $\mathcal{A}$ , i.e., $\mathcal{F} : \mathcal{C}^{opp} \to \mathcal{A}$ . A morphism of presheaves $\mathcal{F} \to \mathcal{G}$ on $\mathcal{C}$ with values in $\mathcal{A}$ is a transformation of functors from $\mathcal{F}$ to $\mathcal{G}$ .

Comments (1)

Comment #1016 by correction_bot on September 09, 2014 at 03:59

Isn't $\mathcal{C}^{opp}$ the stacks project's notation for the opposite category?

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$ ). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Comments (1)

Post a comment