A property of free cocompletions – math.stackexchange.com
testaccount
Let $C$ be a small category with finite limits. Let $D$ have all small limits and colimits. Any functor $F : C \to D$ corresponds to a functor $\hat{F} : \mathbf{Sets}^{C^{\mathrm{op}}} \to D$ ...