**Next:**Spectral Algebras

**Up:**Appendix

**Previous:**Natural Transformations

#

Presheaves

**Definition 3.7**

*A*

**presheaf**on a small^{3.1}category is a contravariant functor form to the category of sets S

**Example 3.1**

*An example of a presheaf X on a category is:*

Cecilia Flori 2007-01-02