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