Let $A$ and $B$ be two cocomplete categories (i.e. closed under small colimits) and $A'$ be a dense subcategory of $A$ i.e. any object in $A$ is a colimit of objects in $A'$. Given a functor $F': A' \to B$, does there always exist an extension of functor $F :A \to B$ preserving all colimits?

  • $\begingroup$ I think you mean "cocomplete", rather than "complete"? And $A'$ is a dense subcategory of $A$, rather than $B$? $\endgroup$ – Jeremy Rickard Jun 1 at 16:41
  • $\begingroup$ Do you want some condition on $F'$? Otherwise you could just take $A'=A$, with $F'$ some functor that doesn't preserve colimits. $\endgroup$ – Jeremy Rickard Jun 1 at 16:45
  • $\begingroup$ @JeremyRickard Uhhh, sorry for the typos.. right, I meant cocomplete and $A'$ a dense subcategory of $A$. Maybe I need to say $F'$ preserves colimits. $\endgroup$ – gregodom Jun 1 at 17:24
  • $\begingroup$ If $A'$ is full in $A$ and skeletally small, then yes: even more is true, there is also an adjunction $[A',Set]\leftrightarrows B$; replace $A'$ with its small skeleton, and use Yoneda lemma. Otherwise, subtle set theory comes in, and I guess you might want to say a bit more on the context of the question :-) $\endgroup$ – Fosco Jun 1 at 17:29
  • 1
    $\begingroup$ arxiv.org/abs/1501.02503 see 3.1.1 here; not because there are no other reference, just because that's the most convenient source to quote for me :) in case $A'$ is not small, see here: ncatlab.org/nlab/show/small+presheaf $\endgroup$ – Fosco Jun 2 at 18:17

No. This is true only when $A$ is a free cocompletion of $A'$, i.e., the category of small contravariant functors from $A$ to $Set$.

| cite | improve this answer | |
  • $\begingroup$ I think I have problem with the condition of the functors being small here. If A′ is small, such condition should be empty. However, in practice (in algebraic geometry), say if we consider A′ be the fppf site over a fixed base scheme S which I think is not really small, there is no category of presheaves because of the size issue. But does the category of sheaves make sense here? if so call it $A$, can we say anything about extending a functor from $A'$ to $A$? $\endgroup$ – gregodom Jun 2 at 17:45
  • $\begingroup$ There is no size problem if you take small presheaves, i.e., small colimits of representables. $\endgroup$ – Jiří Rosický Jun 3 at 8:57
  • $\begingroup$ Sorry for being vague. I mean I eventually want to deal with arbitrary SHEAF. My thought was that all sheaves come from presheaves (via sheafification) and hence it'd be nice if we can talk about arbitrary presheaf, small or not. Now my problem is (sorry for asking another question here), is it true that any fppf sheaf is the sheafification of some small presheaf ? If true, that will save my day. Thanks very much! $\endgroup$ – gregodom Jun 4 at 4:46
  • $\begingroup$ I would expect that sheafifications of small presheaves are small sheaves. All what I know about this subject is contained in my two joint papers with Boris Chorny (arXiv:1110.0605 and arXiv:1110.4252). $\endgroup$ – Jiří Rosický Jun 5 at 8:43
  • $\begingroup$ Thanks for the answer! I don't really know the precise definition but I guess small sheaves are by definition the sheafification of small presheaves. In some cases these small sheaves seems to be all sheaves. For example, if we consider small etale site over a scheme (which is an essentially large category), all etale sheaves here would be small because the category of sheaves on the small etale site coincides with the category of sheaves on small affine etale site (which turns out to be essentially small). But this does not seem to work for the big sites e.g. big fppf site. $\endgroup$ – gregodom Jun 5 at 8:57

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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