Consider the category of all open sets of a given topological space where the morphism are inclusions,why one can see a Presheaf as a contravariant functor?
Presheaf on a topological space
0
$\begingroup$
category-theory
-
2By definition of "contravariant functor". – 2011-03-17
-
0I'd say by definition of presheaf. (The definition I know is "contravariant functor from the poset-category of open sets"...) – 2011-03-17
-
0@Zhen Lin: but obviously that cannot be Jr.'s definition. – 2011-03-17