What is the homotopy from the empty set to a non-empty set?

153 Views Asked by At

It is said that the empty set is the initial object of the category of sets, and the empty space is the initial object in the category of topological spaces. So there exists a unique arrow from the initial object to any object in those categories. But I wonder what would be that map?

It seems that at $t = 0$ the map would give an empty set or space, while at $t = 1$ the map would give a non-empty set or space. How is that possible with a continuous map?

1

There are 1 best solutions below

4
On

The statement "the empty space is the initial object in the category of topological spaces" has nothing to do with homotopies. It simply means there is a unique continuous map $\emptyset\mapsto Y$ for any space $Y$, namely the empty map. It is continuous because the preimage of every open set is open.