Skip to main content
1 of 2

By general reasons, $i_A : \mathbb D-cont[A,Set] \to [A,Set]$ has a left adjoint

In Centazzo and Vitale's A Duality Relative to a Limit Doctrine, early on, they make the above claim and cite Kelly's Basic Concepts in Enriched Category Theory. 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?