Biyologlar nasıl Evrim izlerini takip etmek için, ayırt edici çok küçük farklılıkları olan mümkün olduğunca çok tür bulmak istiyorlarsa, matematikçiler de kaba topolojik uzaylarla, cebirsel değişimler gibi ince yapılar arasındaki süreklilik boşluğunu doldurmak istiyorlardı.