Топологи́ческое простра́нство — множество, для элементов которого определено, какие из них близки друг к другу. Является центральным понятием общей топологии.
Тео́рия катего́рий — раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов.
Функтор — особый тип отображений между категориями. Его можно понимать как отображение, сохраняющее структуру. Функторы между малыми категориями являются морфизмами в категории малых категорий. Совокупность всех категорий не является категорией в обычном смысле, так как совокупность её объектов не является классом. Один из способов преодолеть подобные теоретико-множественные трудности — добавление в ZFC независимой от неё аксиомы о существовании недостижимых кардиналов.
Гомоморфизм — это морфизм в категории алгебраических систем, то есть отображение алгебраической системы А, сохраняющее основные операции и основные отношения.
Алгебраическая геометрия — раздел математики, который объединяет алгебру и геометрию. Главным предметом изучения классической алгебраической геометрии, а также в широком смысле и современной алгебраической геометрии, являются множества решений систем алгебраических уравнений. Современная алгебраическая геометрия во многом основана на методах общей алгебры для решения задач, возникающих в геометрии.
Теория топосов — раздел теории категорий, изучающий топосы — категории с определёнными дополнительными структурами, и математические (категорные) методы, связанные с топосами.
Пучок — структура, используемая для установления отношений между локальными и глобальными свойствами или характеристиками некоторого математического объекта. Пучки играют значительную роль в топологии, дифференциальной геометрии и алгебраической геометрии, но также применяются в теории чисел, анализе и теории категорий.
Уравнитель в теории категорий — обобщение понятия решения некоторого уравнения, то есть множества, на котором данные отображения совпадают.
Элемента́рный то́пос — категория, в некотором смысле похожая на категорию множеств, основной предмет изучения теории топосов. Средствами элементарных топосов может быть описана аксиоматика как самой теории множеств, так и альтернативных теорий и логик, например, интуиционистская логика.
Система аксиом фон Неймана — Бернайса — Гёделя в метаматематике — одна из основных аксиоматических теорий множеств. Эта система является расширением канонической теории Цермело — Френкеля с аксиомой выбора (ZFC). Предложения, сформулированные на языке теории ZFC, доказуемы в ZFC тогда и только тогда, когда они доказуемы в NBG.
Во многих областях математики полезную конструкцию часто можно рассматривать как «наиболее эффективное решение» определенной проблемы. Определение универсального свойства использует язык теории категорий, чтобы сделать это определение точным и изучать его теоретическими методами.
Катего́рия мно́жеств — категория, объекты которой — множества, а морфизмы между множествами A и B — все функции из A в B. Обозначается Set. В аксиоматике Цермело — Френкеля «множества всех множеств» не существует, а работать с понятием класса не очень удобно; для этой проблемы было предложено несколько различных решений.
Абелева категория — категория, в которой морфизмы можно складывать, а ядра и коядра существуют и обладают определёнными удобными свойствами. Пример, который стал прототипом абелевой категории — категория абелевых групп. Теория абелевых категорий была разработана Александром Гротендиком для объединения нескольких теорий когомологий. Класс абелевых категорий замкнут относительно нескольких категорных конструкций; например, категория цепных комплексов с элементами из абелевой категории и категория функторов из малой категории в абелеву также являются абелевыми.
В теории категорий, понятие элемента обобщает обычное понятие элемента множества на объект произвольной категории. Иногда оно позволяет переформулировать свойства морфизмов, которые обычно описываются при помощи универсальных свойств в более привычных терминах действия отображения на элементах. Этот подход к теории категорий был предложен Гротендиком.
В теории категорий, классификатор подобъектов — специальный объект Ω категории; интуитивно, подобъекты X соответствуют морфизмам из X в Ω. Способ, которым он «классифицирует» объекты можно описать как присвоение некоторым элементам X значения «истина».
Топология Гротендика — структура на категории, которая делает её объекты похожими на открытые множества топологического пространства. Категория вместе с топологией Гротендика называется ситусом или сайтом.
Производная категория D(A) абелевой категории A представляет собой конструкцию из гомологической алгебры, введённую для уточнения и в определённом смысле упрощения теории производных функторов, определённых на A. Конструкция определяется таким образом, что объектами D(A) становятся цепные комплексы объектов из A, причем два таких комплекса считаются изоморфными, когда существует гомоморфизм между этими комплексами, индуцирующий изоморфизм гомологий этих комплексов. Затем для цепных комплексов можно определить производные функторы, уточняя понятие гиперкогомологий. Определения приводят к существенному упрощению формул, в противном случае описываемых сложными спектральными последовательностями.
