It follows from Lawvere's theorem that for most spaces $X$ there is no space-filling curve for its path space, $\alpha: I \to X^I$, working here in the category of $k$-spaces.
Todd Trimble
- 53.3k
- 6
- 205
- 322