Given a small category $\mathbb C$, we can form the free cocompletion $\mathbf y : \mathbb C \to \mathcal P(\mathbb C)$ and the free completion $\mathbf y^\circ : \mathbb C \to \mathcal P^\circ(\mathbb C)$. These constructions factor through two others:

1. The [free bicompletion](https://mr.math.ca/article/free-bicomplete-categories/) $\mathbf b : \mathbb C \to \mathcal B(\mathbb C)$.
2. The [Isbell envelope](https://ncatlab.org/nlab/show/Isbell+envelope) $\mathbf i :\mathbb C \to \mathcal I(\mathbb C)$.

[![free bicompletion and Isbell envelope][1]][1]

Both constructions have universal properties: the former freely adds limits and colimits; whilst the latter freely constructs a [cylinder factorisation system](https://arxiv.org/abs/1410.7108).

However, it is not clear to me exactly how the two relate. May one construction be expressed in terms of the other (e.g. is there a factorisation of free bicompletion through the Isbell envelope)? If not, is there some other relationship?

  [1]: https://i.sstatic.net/RPW3Vl.png