0
$\begingroup$

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?

  • 2
    By definition of "contravariant functor".2011-03-17
  • 0
    I'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

2 Answers 2