We construct a simplicial complex, the rectangle complex of a relation R, and show that it is homotopy equivalent to the Dowker complex of . This results in a short and conceptual proof of functorial versions of Dowker’s ...