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