Skip to main content
2 of 2
added 162 characters in body; edited tags; edited title
David Roberts
  • 35.5k
  • 11
  • 124
  • 349

By general reasons, $i_A \colon \mathbb{D}\text{-}\mathrm{cont}[A,\mathbf{Set}] \to [A,\mathbf{Set}]$ has a left adjoint

In Centazzo and Vitale's A Duality Relative to a Limit Doctrine (TAC, 2002, abstract), early on, they make the above claim and cite Kelly's Basic Concepts in Enriched Category Theory (TAC reprints). I am having difficulty finding exactly where these general reasons are.

Two questions:

(1) What exactly in Basic Concepts... are they referring to?

(2) What is an explicit formula for this specific left adjoint?