8
$\begingroup$

It is well known that for ordinary categories, if $C$ has finite limits and $D$ is cocomplete, and $A:C \to D $ is left-exact (i.e. preserves finite limits) then the left-Kan extension of $F$ along the Yoneda embedding $y:C \hookrightarrow Set^{C^{op}}$ is left-exact. I'm pretty sure this is still true for $\left(\infty,1\right)$-categories, once we replace the role of presheaves with that of $\infty$-presheaves, but is this written up somewhere?

$\endgroup$
2
  • $\begingroup$ Allow me to criticize myself here. This is well known for $D$ a TOPOS. If $D$ is not a topos, is it even true? $\endgroup$ Dec 14, 2011 at 1:39
  • $\begingroup$ For reference, let me record that this is false unless $D$ is a topos or something like it. For instance, take $C=1$, so that $F:C\to D$ picks out the terminal object. Then since coproducts in $\mathrm{Set}$ are disjoint, if the left-Kan extension of $F$ is left-exact then coproducts of copies of the terminal object in $D$ are also disjoint. This is false if, for instance, $D$ is a complete lattice. $\endgroup$ Apr 4, 2017 at 7:57

1 Answer 1

2
$\begingroup$

For reference, at least when $D$ is an infinity topos, which I believe is probably necessary, this is Proposition 6.1.5.2 in HTT.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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