Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

It is a fairly special property for the Yoneda embedding $A \hookrightarrow \mathcal{P}A$ of a category to have a left adjoint defined everywhere (this happens just when $A$ is total). However, a partially defined such left adjoint can express the existence of any colimits in $A$. For instance, if $F\colon I\to A$ is any functor, then colimits of $F$ are the same as values of such a partially defined left adjoint at the presheaf $\mathrm{colim}_i\; A(-,F(i))$. A similar idea works for weighted limits in an enriched setting. In fact, $A$ is small-cocomplete just when its Yoneda embedding has a left adjoint defined at all small presheaves (presheaves that are small colimits of representables).

My question is, given a presheaf $X\in \mathcal{P}A$, what is a name for the value of a (partially defined) left adjoint to the Yoneda embedding at $X$?

It is tempting to want to call it the "colimit" of $X$, except that $X$ itself is a functor $A^{op} \to \mathrm{Set}$, and we are certainly not talking about the colimit of that functor. If it helps, note that the object in question is equivalently the colimit of the identity functor of $A$ weighted by $X$.

share|improve this question
1  
Perhaps you could call it the "realisation" of $X$? After all, a presheaf on $A$ is, in a some sense, a formal colimit. –  Zhen Lin May 17 '12 at 17:44
    
This is the (may be partial definited) LEft Kan extension of Yoneda embedding $Y: \mathcal {A}\to \mathcal {A}^>$ respect to $1_{\mathcal{A}}$. In my notes (personal, Italian) I like call it Yoneda-Kan extensions, is usual in topics as completions of categories, shape theory (categorical aspect) , kinds of "geometrical realization". –  Buschi Sergio May 17 '12 at 17:57
    
I guess "realization" isn't bad. –  Mike Shulman May 17 '12 at 21:33

1 Answer 1

The question is: Given a functor $F : A^{op} \to \mathsf{Set}$, how do we call an object $?(F)$ in $A$ satisfying the universal property

$\hom(?(F),X) \cong \hom(F,\hom(-,X))$

for all $X \in A$? Some people call it a corepresenting object of $F$. The reason is that a representing object of $F$ is some object $!(F)$ satisfying $\hom(X,!(F)) \cong \hom(\hom(-,X),F)$, since the left hand side simplifies to $F(X)$ by the Yoneda Lemma. Remark that every representing object is also a corepresenting object.

If $F$ is a moduli problem in algebraic geometry, then $?(F)$ with some additional assumptions is usually also called a coarse moduli space (whereas $!(F)$ is the fine moduli space). One of the many references is Definition 2.1. (2) in Adrian Langer's "Moduli Spaces Of Sheaves On Higher Dimensional Varieties", as well as Definition 2.2.1 in "The Geometry of Moduli Spaces of Sheaves" by Huybrecht and Lehn. Perhaps someone can add the original reference.

share|improve this answer
    
Hmm... to me a "corepresenting object" is a representing object for a covariant functor. –  Mike Shulman May 17 '12 at 21:32
1  
Yes this terminology also appears. But the distinction between covariant and contravariant functors is artificial because we can use dual categories. The notions are just the same, as well as their representability. But in the above definition of corepresentabilty, something new happens and deserves to be named "co". We don't understand maps $\hom(-,X) \to F$, but rather maps $F \to \hom(-,X)$. –  Martin Brandenburg May 18 '12 at 7:18

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.