Фундамента́льная гру́ппа — одна из простейших конструкций в алгебраической топологии. Сопоставляется группа всякому связному топологическому пространству. Для подмножеств плоскости эта группа измеряет количество «дырок». Наличие «дырки» определяется невозможностью непрерывно продеформировать (стянуть) некоторую замкнутую кривую в точку.
Алгебраи́ческая тополо́гия — раздел топологии, изучающий топологические пространства путём сопоставления им алгебраических объектов, а также поведение этих объектов под действием различных топологических операций.
В этом глоссарии приведены определения основных терминов, используемых в общей топологии. Курсивом выделены ссылки внутри глоссария.
Функтор — особый тип отображений между категориями. Его можно понимать как отображение, сохраняющее структуру. Функторы между малыми категориями являются морфизмами в категории малых категорий. Совокупность всех категорий не является категорией в обычном смысле, так как совокупность её объектов не является классом. Один из способов преодолеть подобные теоретико-множественные трудности — добавление в ZFC независимой от неё аксиомы о существовании недостижимых кардиналов.
То́чка — один из фундаментальных (неопределяемых) математических объектов, свойства которого задаются системой аксиом. Нестрого можно представлять точку как неделимый элемент соответствующего математического пространства, определяемого в геометрии, математическом анализе и других разделах математики. В классической геометрии и в большинстве её обобщений все геометрические фигуры считаются состоящими из точек.
Сопряжённые функторы — пара функторов, состоящих в определённом соотношении между собой. Понятие сопряжённых функторов и сам термин были предложены Даниэлем Каном в 1956 году. Сопряжённые функторы часто встречаются в разных областях математики.
Гомотопи́ческие гру́ппы — инвариант топологических пространств, одно из основных понятий алгебраической топологии.
Цепна́я гомото́пия — вариация понятия «гомотопия» в алгебраической топологии и гомологической алгебре
В математике путь в топологическом пространстве X — это непрерывное отображение f из единичного отрезка I = [0,1] в X
- f : I → X.
CW-комплекс — тип топологического пространства с дополнительной структурой, введённый Уайтхедом для удовлетворения нужд теории гомотопий. В литературе на русском языке употребляются также названия клеточное пространство, клеточное разбиение и клеточный комплекс. Класс клеточных комплексов является более широким, чем класс симплициальных комплексов, но в то же время сохраняет комбинаторную природу, которая позволяет производить эффективные вычисления.
В математике индекс точки или порядок точки относительно замкнутой кривой на плоскости — это целое число, представляющее число полных оборотов, которое делает кривая вокруг заданной точки против часовой стрелки. Иногда говорят о порядке кривой относительно точки. Индекс зависит от ориентации кривой и принимает отрицательное значение, если обход кривой происходит по часовой стрелке.
Петля в топологическом пространстве X — это непрерывное отображение f единичного отрезка I = [0,1] в X, такое что f(0) = f(1). Другими словами, это путь, начальная точка которого совпадает с конечной.
Гомотопические группы сфер — один из основных объектов изучения теории гомотопий, области алгебраической топологии. Гомотопические группы сфер классифицируют отображения между многомерными сферами с точностью до непрерывной деформации. Гомотопические группы сфер являются дискретными алгебраическими объектами, а именно конечнопорождёнными абелевыми группами. Несмотря на то, что классификация конечнопорождённых абелевых групп очень проста, точная структура гомотопических групп сфер до конца неизвестна.
В математике монодро́ми́ей называется явление, состоящее в преобразовании некоторого объекта при обнесении его вдоль нетривиального замкнутого пути.
Фуксова модель — это представление гиперболической римановой поверхности R как факторповерхности верхней полуплоскости H по фуксовой группе. Любая гиперболическая риманова поверхность позволяет такое представление. Концепция названа именем Лазаря Фукса.
Асферическое пространство — топологическое пространство в котором все гомотопические группы 
кроме 
тривиальны. Для симплектических многообразий значение термина немного отличается; смотри симплектически асферическое многообразие.
Первая группа гомологий топологического пространства — абелева группа, состоящая из петель в этом пространстве, рассматриваемых с точностью до гомологичности. Такие петли описывают форму пространства и измеряют количество его дыр. Первая группа гомологий является простейшим вариантом групп гомологий топологического пространства — одного из центральных понятий теории гомологий и алгебраической топологии.
