A Cartesian encoding and its adjoint