In search for an abstract proof of the existence of \(\mathsf {R}\) ,
one might think of using Freyd's Adjunction Theorem,
[1]}. Following this path, one needs to
establish (setting aside the solution set condition) that:
