Morphism of presheaves
ID: morphism-of-presheaves
A natural transformation between presheaves assigns maps commuting with every restriction. For presheaves of abelian groups or modules, those maps preserve the specified algebraic structure.
New to topics? Read the docs here!