the remarkable aspect of this is that the latter diagram is one of the various (equivalent) definitions of when two functors are adjoint. our "f" easily extends to a functor set → ba, and our definition of "x" generating a free boolean algebra "fx" is precisely that "u" has a left adjoint "f".