Фундамента́льная гру́ппа — одна из простейших конструкций в алгебраической топологии. Сопоставляется группа всякому связному топологическому пространству. Для подмножеств плоскости эта группа измеряет количество «дырок». Наличие «дырки» определяется невозможностью непрерывно продеформировать (стянуть) некоторую замкнутую кривую в точку.
В этом глоссарии приведены определения основных терминов, используемых в общей топологии. Курсивом выделены ссылки внутри глоссария.
Лине́йное отображе́ние — обобщение линейной числовой функции на случай более общего множества аргументов и значений. Линейные отображения, в отличие от нелинейных, достаточно хорошо исследованы, что позволяет успешно применять результаты общей теории, так как их свойства не зависят от природы величин.
Сопряжённый оператор — обобщение понятия эрмитово-сопряжённой матрицы для бесконечномерных пространств.

Изоморфи́зм — соотношение между математическими объектами, выражающее общность их строения; используется в разных разделах математики и в каждом из них определяется в зависимости от структурных свойств изучаемых объектов. Обычно изоморфизм определяется для множеств, наделённых некоторой структурой, например, для групп, колец, линейных пространств; в этом случае он определяется как обратимое отображение (биекция) между двумя множествами со структурой, сохраняющее эту структуру, то есть показывающее, что объекты «одинаково устроены» в смысле этой структуры. Если между объектами существует изоморфизм, то они называются изоморфными. Изоморфизм всегда задаёт отношение эквивалентности на классе таких структур.
Функтор — особый тип отображений между категориями. Его можно понимать как отображение, сохраняющее структуру. Функторы между малыми категориями являются морфизмами в категории малых категорий. Совокупность всех категорий не является категорией в обычном смысле, так как совокупность её объектов не является классом. Один из способов преодолеть подобные теоретико-множественные трудности — добавление в ZFC независимой от неё аксиомы о существовании недостижимых кардиналов.
Степень отображения — гомотопический инвариант непрерывного отображения между компактными многообразиями равной размерности.
Локально тривиальное расслоение — расслоение, которое локально выглядит как прямое произведение.
Пучок — структура, используемая для установления отношений между локальными и глобальными свойствами или характеристиками некоторого математического объекта. Пучки играют значительную роль в топологии, дифференциальной геометрии и алгебраической геометрии, но также применяются в теории чисел, анализе и теории категорий.
Гомотопи́ческие гру́ппы — инвариант топологических пространств, одно из основных понятий алгебраической топологии.
Цепна́я гомото́пия — вариация понятия «гомотопия» в алгебраической топологии и гомологической алгебре

В математике путь в топологическом пространстве X — это непрерывное отображение f из единичного отрезка I = [0,1] в X
- f : I → X.
Экспоненциал — теоретико-категорный аналог множества функций в теории множеств. Категории, в которых существуют конечные пределы и экспоненциалы, называются декартово замкнутыми.
Симплициальное множество — теоретико-категорная конструкция, обобщающая понятие симплициального комплекса и в определённом смысле моделирующая понятие топологического пространства с «хорошими» свойствами: теория гомотопий для симплициальных множеств эквивалентна классической теории гомотопий для топологических пространств. Является чисто алгебраической конструкцией, обеспечивающей практически полный параллелизм с геометрическими объектами; в связи с этим считается одним из важнейших объектов в алгебраической топологии как с методологической точки зрения, так и с инструментальной.
Корасслоение — определённый тип непрерывных отображений между топологическими пространствами с определяющим свойством, двойственным к свойству поднятия гомотопий, выполняющихся для расслоений.
Свойство продолжения гомотопии говорит, что гомотопия на подпространстве может быть продолжена до гомотопии на всём топологическом пространстве.

Первая группа гомологий топологического пространства — абелева группа, состоящая из петель в этом пространстве, рассматриваемых с точностью до гомологичности. Такие петли описывают форму пространства и измеряют количество его дыр. Первая группа гомологий является простейшим вариантом групп гомологий топологического пространства — одного из центральных понятий теории гомологий и алгебраической топологии.
Первая группа когомологий топологического пространства — абелева группа, состоящая из аддитивных целозначных функций на первой группе гомологий этого пространства. Она является простейшим вариантом групп когомологий — одного из центральных понятий теории гомологий и алгебраической топологии.