Straightening for lax transformations and adjunctions of (, 2) -categories | Synapse