https://arxiv.org/abs/2005.01563
[2005.01563] Brouwer fixed point theorem as a corollary of Lawvere
Abstract page for arXiv paper 2005.01563: Brouwer fixed point theorem as a corollary of Lawvere
brouwer fixed point theoremas a200501563
https://en.wikipedia.org/wiki/Brouwer_fixed-point_theorem
Brouwer fixed-point theorem - Wikipedia
brouwer fixed point theoremwikipedia