'''Cebirsel topoloji''', [[Topolojiktopolojik uzaylar|Topolojik uzayları]]ı cebirsel gereç ve yöntemlerle inceleyen matematik dalı. Matematikte bir kümenin üzerine döşenecek yapı, yönelinen matematik dalını belirler. Bir ümeye bir ya da birkaç işlem konarak [[sayılar kuramı]] ya da [[cebir]] yapmaya başlanabilir. Kümenin üzerine bir [[topoloji]] koyaraksa topoloji ve geometri yapmaya başlanır. Üzerine topoloji konmuş bir uzayı (örneğin herhangi boyutlu bir Öklit uzayı) incelemek için kimi [[değişmez|değişmezler]] tanımlanır; bunlar aracılığıyla topolojik uzayın özellikleri ayırdedilir. Örneğin [[tıkızlık]], [[bağlantılılık]], [[sayılabilirlik]] bu tür değişmezlerdir. [[Topolojik eşyapı|Topolojik eşyapısal]] (birbirlerine homeomorfik) iki uzaydan biri bu değişmeze sahipse diğeri de buna sahip olmalıdır. Yani, eğer iki uzay için ayrı ayrı bakılan bir değişmez ''aynı'' değilse, bu iki uzay eşyapısal olmayacaktır. Yukarıda anılan en eski değişmezlerin hemen ardından inşa edilen klasik değişmezler cebirsel olanlardır.
