Consider a category C as follows:
 Objects are spaces
 Morphisms are structure preserving morphisms between these spaces
Category of Presheaves
Objects: C^{op} > setcontraveriant functors X: C > set (written X: C^{op} > set to indicate contraveriance) 

Morphisms:are natural transformations N: X > Y 
x