How can you determine the structure of a mystery topological space using the Yoneda perspective?

Conditions

• The context is the category of topological spaces.
• Test objects like the unit interval I and circle $S^1$ are used.

Reasoning, step by step

1. Consider mapping the unit interval I continuously into X to explore paths.
2. Consider mapping a circle $S^1$ into X to explore loops.
3. Analyze the collection of all such continuous mappings from various test spaces into X.
4. Conclude that the topological structure of X is entirely determined by these relationships.

Example

The video visualizes this by drawing a purple curve (unit interval) and a cyan loop (circle) inside a rectangle representing X, which then morphs into a complex surface with handles.

Common misconceptions

• Thinking that only one type of test space is sufficient.
• Assuming that the mappings need to be surjective or injective to be useful.

Watch the explanation

Explore next

• What is the Yoneda lemma?
• What is a representable functor?