It seems that there is a common theme in mathematics where, if we want to find out about a category C, then we look at $\hat{C}$ (the category of contravariant functors from $C$ to $Set$). There are all sorts of good reasons for this (Yoneda's lemma being a big one, and the fact that this is a topos). There are other versions, sometimes you look at contravariant functors into some other category, like groups (e.g. for algebraic groups). But I have never seen the dual notion: covariant functors from some other category INTO $C$. 


Is this notion as useful as the notion of a presheaf? I guess it's like looking at a category "over" $C$ as opposed to a category "under" it. I guess, hidden in this question is the question: Can one learn anything about a category $C$ by looking at presheaves of $C$? For example, does the difference between presheaves of sets and presheaves of ableian groups tell us anything about the differences between the category of Groups and the category of Sets? 


EDIT: There seems to be a bit of confusion of what I mean by "dual of a presheaf." I don't mean "copresheaves" (which I didn't know existed before I asked this), I mean what you get by reversing the arrow of the functor not taking the opposite category. So I'm looking at functors into the category of interest, as opposed to out of them. I can see how this is confusing because usually "dual" doesn't turn around functors, just arrows inside categories. So I guess I mean presheaves in $C^{op}$... (but covariant instead of contravariant?)... who knows.



Is the dual notion of a presheaf useful?
Let me try and take a stab at this question. I will give not so much as an answer to your question, but more of a rambling collection of remarks. The post turned out to be *much longer* than I wanted, because as B. Pascal once complained, I did not have the time to write a shorter one. Expect some inconsistencies, a lot of hand-waving, etc.


To put some order in my thoughts, I will try to argue the following four points. Fix a category $\mathcal{A}$, which is the category "of interest". Then:


(1) Functors into $\mathcal{A}$ are interesting.


(2) Functors into $\mathcal{A}$ tell you everything about $\mathcal{A}$.


(3) Part of the perceived asymmetry follows from the fact that in many cases the interesting category $\mathcal{A}$ is equivalent to a presheaf category (or some localization thereof).


(4) There is not really an asymmetry between functors out of and functors into $\mathcal{A}$, but more of a duality.


The first point is easy to settle, as Qiaochu Yuan already gave a class of interesting examples: for a category of interest $\mathcal{A}$ and any category $\mathcal{I}$, a functor $\mathcal{I}\to \mathcal{A}$ is a diagram of shape $\mathcal{I}$ in $\mathcal{A}$, so hell yeah, functors into $\mathcal{A}$ are important. You may think this a rather pedestrian example, but below I give more examples.


To explain (2), instead of working with categories, that is, in the $2$-category of categories, let us go one level down to the category of sets. A set $X$ is determined completely by its elements, that is, maps $\ast\to X$ where $\ast$ is a singleton set (any one will do: for the sake of determinacy, take the singleton set comprised of the element $\emptyset$). Now in a general category, we cannot speak of elements, but we can (and do) speak of *generalized elements*.


**Definition:** Let $\mathcal{A}$ be a category and $a$ an object of $\mathcal{A}$. A *generalized element* of $a$ is a map $x\colon d\to a$. This is also written symbolically as $x\in\_{d} a$.


We do not need generalized elements to develop category theory, but personally, I found them useful to build upon the intuition gained from working with more "concrete" categories. A very nice discussion of generalized elements is in Awodey's book on category theory. Now the kicker: Yoneda's lemma tells us that if we know all the generalized elements of an object $a$ then we know everything about $a$, including of course, the arrows *out of* $a$ (note: and by duality, if we know all the arrows out of $a$ we will know everything about $a$). Two possible objections may be raised:


1. The original example involves a $2$-category: does not make much of a difference, as my reply to Kevin's comment (see above) still applies. And besides, there are $2$-categorial versions of Yoneda lemma.
2. Yoneda's lemma works ok, but you need the knowledge of all generalized elements and these range over a potentially proper class of objects: that is true, but in virtually every interesting category one can trim down this proper class to a (small) set, even a singleton set. I will not spell out the proper definitions; they are intimately tied with "smallness" conditions and the adjoint functor theorems (and yes, the category of (small) categories satisfies them).


For (3), let $\mathcal{C}^{\mathcal{B}}$ be a functor category. For size reasons, $\mathcal{B}$ has to be small (note: if you have no scientifick problems with creation ex nihilo, you can always spawn a larger universe by invoking the axiom of universes and sidestep this particular size issue). Since functor categories inherit most of the good properties of the codomain category, you will want $\mathcal{C}$ to be as good behaved as possible (e.g. complete, cocomplete, abelian, symmetric monoidal closed, etc.). It is not true that the structure of $\mathcal{B}$ is irrelevant for the structure of $\mathcal{C}^{\mathcal{B}}$, but it is true that in general, $\mathcal{B}$ only needs a bare minimum of structure. This asymmetry between the domain and the codomain categories is reinforced by the fact that many of the interesting categories $\mathcal{A}$ are equivalent to functor categories, even presheaf categories (or some localization of them). Here are two examples.


1. Let us consider the category of groups $\operatorname{Grp}$, undoubtebly a category "of interest". There is a category $\operatorname{Th}(\operatorname{Grp})$ that has all finite products such that $\operatorname{Grp}$ is equivalent to the category of product-preserving functors $\operatorname{Th}(\operatorname{Grp})\to \operatorname{Set}$ where $\operatorname{Set}$ is the category of sets. This equivalence can be generalized to a *very large class* of categories of "algebraic flavor" and even some that at first sight do not bear the least resemblance to "algebraic categories". A few extra remarks about this example. First, the category $\operatorname{Th}(\operatorname{Grp})$ is a category constructed to make the equivalence work (it is the free category with products on a group object), in other words, it does not exactly fall within the class of categories "of interest". It's a similar to the example of diagram categories in (1), where the domain, a free category on a graph, is just a categorial construction to make the identification of diagrams with functors, not an interesting category by itself. Second, by replacing $\operatorname{Set}$ by another category $\mathcal{B}$ (with at least finite products), you can now speak of groups in $\mathcal{B}$. This gives another class of examples where functors into a category are interesting.
2. If $(\mathcal{C}, \mathcal{J})$ is a site (a category with a Grothendieck topology), by first taking the category of presheaves and then a suitable localization, one obtains the category of sheaves. This produces a host of geometric categories, like manifolds and schemes.


Much like in example 1, the interest is not so much on $(\mathcal{C}, \mathcal{J})$ and even less in the codomain, which is usually the category of sets (other categories for codomain also work, but the categorial requirements for everything to work smoothly are fairly strong), but in the (pre)sheaf category.


For my last point (4), a lot could be said, but I will just point you to two articles by F. W. Lawvere in the TAC Reprints, "Metric Spaces, Generalized Logic and Closed Categories" and "Taking categories seriously" (google for them, they are available online). In them, Lawvere makes several remarks about the duality between spaces and algebras of functions which are directly relevant to your question. To show that there is not so much an asymmetry but a duality between functors into and out of, let me give you two examples.


1. In your (that is, the OP) last post, you speak about stacks. A stack on a category $\mathcal{A}$ can be defined as a functor with values in $\mathcal{A}$ satisfying some conditions -- this is the fibered category approach to stacks. But a stack can also be defined as weak $2$-functor with values in the $2$-category of categories (satisfying some extra conditions). For reasons that I will not explain, the first approach is better, but nevertheless the point should be clear. There are actually many examples of this "duality", that identifies some category of functors into $\mathcal{A}$ with some category of functors out of $\mathcal{A}$.
2. Let me end up with an example from physics that further illustrates this duality. Quantum field theories are notoriously hard objects to define (let alone study). Several years ago, V. Turaev defined the notion of a Homotopy Quantum Field Theory, HQFT for short (check his papers in the arxiv if you are interested) which is a very simple, "toy" example of a QFT. If $X$ is a topological space, we can define a category that has for objects manifolds $M$ equipped with a homotopy class of maps $g\colon M\to X$ and a morphism $(M, g)\to (N, h)$ is a cobordism $W\colon M\to N$ with a homotppy class of maps into $X$ extending $g$ and $h$. An HQFT is a monoidal functor from this category into another monoidal category (usually, the category of finite-dimensional complex linear spaces). I am omitting lots of details, but the gist is that an HQFT gives us invariants of manifolds $M$ by mapping $M$ into some fixed background space $X$. But we can turn things around, for the category of $X$-HQFT's is a (functorial) invariant of the homotopy type of $X$, an invariant cooked up by mapping manifolds into $X$.


Hope it helps, regards,
G. Rodrigues


