S. S. Shrikhande is widely regarded as the father of Indian topology for his pioneering work in the field.

V. K. Patodi made significant contributions to the study of the homology of spheres, a fundamental concept in topology.

Tychonoff's theorem provides a necessary and sufficient condition for a compact Hausdorff space to be embeddable in a product of closed intervals.

S. Ramanan is renowned for his contributions to the topology of manifolds, particularly in the study of moduli spaces.

Urysohn's lemma is a fundamental result in topology that guarantees the normality of every compact Hausdorff space.

C. S. Seshadri made significant contributions to the topology of algebraic varieties, including the study of vector bundles and the theory of moduli.

The Baire category theorem asserts that every locally compact Hausdorff space is paracompact, a property related to the existence of open covers with certain desirable properties.

N. Deo is renowned for his contributions to the topology of graphs, including the study of connectivity and spanning trees.

The Stone-Weierstrass theorem guarantees the metrizability of every compact Hausdorff space, providing a way to represent the space as a metric space.

M. Vidyasagar is recognized for his contributions to the topology of dynamical systems, particularly in the study of stability and control theory.

Tychonoff's theorem implies that every compact Hausdorff space is Lindelöf, meaning it can be covered by countably many open sets.

V. I. Bogachev is renowned for his contributions to the topology of function spaces, including the study of measure theory and probability theory.

Tychonoff's theorem asserts that every compact Hausdorff space is countably compact, meaning every infinite subset has a convergent subsequence.

S. K. Donaldson is celebrated for his contributions to the topology of manifolds, particularly his work on the Donaldson invariants and the smooth four-manifold program.

The Stone-Weierstrass theorem implies that every compact Hausdorff space is separable, meaning it contains a dense subset that is countable.