The image of a morphism of logoi

Let \(\varphi\colon T \to S\) be a morphism of logoi. We define its image \(\lra{\varphi(T)}\) as the smallest full subcategory of \(S\) that contains the objects \(\varphi(X)\) for all \(X \in T\) and is closed under colimits and finite limits.