Категория:Теория категорий

*

• Теория категорий

F

• F-алгебра

А

• Абелева категория
• Аддитивная категория

Б

• Биморфизм

В

• Вложение

Г

• Групповой объект
• Группоид (теория категорий)

Д

• Двойственная категория
• Двойственность (теория категорий)
• Декартов квадрат
• Декартово замкнутая категория
• Диагональный функтор
• Диаграмма (теория категорий)

Е

• Естественное преобразование

З

• Забывающий функтор
• Замкнутая моноидальная категория

И

• Изоморфизм
• Индуктивный предел

К

• Категория абелевых групп
• Категория групп
• Категория запятой
• Категория малых категорий
• Категория множеств
• Категория модулей
• Категория произведения
• Категория топологических пространств
• Категория функторов

К (продолжение)

• Классификатор подобъектов
• Кодекартов квадрат
• Коммутативная диаграмма
• Конкретная категория
• Копроизведение
• Корекурсия
• Коуравнитель
• Коцикл
• Коядро (теория категорий)

Л

• Лемма Йонеды

М

• Малая категория
• Монада (математика)
• Монада (программирование)
• Моноид
• Моноид (теория категорий)
• Моноидальная категория
• Моноидальный функтор
• Мономорфизм

Н

• Начальный и терминальный объекты
• Нормальный морфизм
• Нулевой морфизм

О

• Обогащённая категория
• Объект категории
• Окольцованное пространство
• Отражающая подкатегория

П

• Подкатегория
• Подобъект
• Подфунктор

П (продолжение)

• Полная категория
• Полные и строгие функторы
• Предаддитивная категория
• Предел (теория категорий)
• Предпорядок
• Предпучок (теория категорий)
• Представимый функтор
• Проективный предел
• Произведение (теория категорий)
• Пучок (математика)

С

• Симметричная моноидальная категория
• Сопряжённые функторы

Т

• Теория топосов
• Топология Гротендика
• Точная последовательность
• Точный функтор

У

• Универсальное свойство
• Уравнитель (математика)

Ф

• Функтор (математика)
• Функтор Hom

Э

• Эквивалентность категорий
• Экспоненциал
• Элемент (теория категорий)
• Элементарный топос
• Эндоморфизм
• Эпиморфизм

Я

• Ядро (теория категорий)