Re: Category Theory: representation more general than limit

No One <noone@xxxxxxxxxxx> wrote:
> >> More precisely, can we state that a functor F:C^op -> Set is representable
> >> in terms of limit?
> >
> > At least one can express the representability of F in terms of the
> > existence of a suitable adjoint situation, which you can then express
> > in terms of limits.
>
> Does it still work in Enriched Category Theory?

I do not know. Perhaps yes, even if the setup does not carry over exactly.
You may want to look at Kelly's book on the subject, in particulat chapter 4.
It is also availablle at
<http://tac.mta.ca/tac/reprints/articles/10/tr10abs.html>

Marc
.

Quantcast