Transposing cartesian and other structure in double categories