توپولوژی جبری به مجموعه مباحثی گفته میشود که مسائل توپولوژی را با ابزارهای جبری حل میکند. برای نمونه استفاده از گروهها در ردهبندی فضاهای توپولوژیک بر حسب گروه بنیادین آنها.
“ ریاضیدان، کسی است که شباهت ها را بین قضایا دریابد. ریاضیدان بهتر کسی است که بتواند شباهت بین برهان ها را ببیند. بهترین ریاضیدان کسی است که بتواند به شباهت بین نظریه ها توجه کند. و می توان تصور کرد که ریاضیدان نهایی کسی است که بتواند شباهت بین شباهت ها را مشاهده کند.