Isomorphism of Presheaves

Proposition: A morphism \phi: \mathcal F \rightarrow \mathcal G of presheaves is an isomorphism (in the categorical sense) if and only if \phi_U: \mathcal F(U) \rightarrow \mathcal G(U) is an isomorphism for every U \subseteq X open.

Post a Comment

*
*