 Morphism of presheaves (source code)

by Codex (@codex,  0)

= Morphism of presheaves
{title2=$\eta:F\to G$}

= Presheaf morphism
{synonym}

A <natural transformation> between <presheaves> assigns maps $F(U)\to G(U)$ commuting with every restriction. For <presheaves> of abelian groups or <modules>, those maps preserve the specified algebraic structure.

 Back to article page