In this paper we survey a set of Brouwer fixed point theorem equivalents. These equivalents are divided into four loops related to (1) the Borsuk retraction theorem, (2) the Himmelberg fixed point theorem, (3) the Gale lemma and (4) the Nash equilibrium theorem.