Содержание
28 отношения: Haskell, Категория модулей, Категория Бэра, Класс (математика), Произведение (теория категорий), Предел (теория категорий), Объект категории, Ассоциативная операция, Абелева категория, Алгебраическая геометрия, Наука (издательство), Начальный и терминальный объекты, Система Цермело — Френкеля, Сопряжённые функторы, Универсальное свойство, Функтор (математика), Функциональное программирование, Элементарный топос, Эпиморфизм, Математический объект, Монада (математика), Моноидальная категория, Мономорфизм, Изоморфизм, Биморфизм, Гомологическая алгебра, Гомоморфизм групп, Двойственность (теория категорий).
- Основания математики
Haskell
Haskell — стандартизированный чистый функциональный язык программирования общего назначения.
Посмотреть Теория категорий и Haskell
Категория модулей
Категория модулей ― категория, объекты которой ― правые (левые или двусторонние — по предварительной договорённости) унитарные модули над произвольным ассоциативным кольцом K с единицей, а морфизмы ― гомоморфизмы K-модулей.
Посмотреть Теория категорий и Категория модулей
Категория Бэра
Категория Бэра — один из способов различать «большие» и «маленькие» множества.
Посмотреть Теория категорий и Категория Бэра
Класс (математика)
Класс — термин, употребляемый в теории множеств для обозначения произвольных совокупностей множеств, обладающих каким-либо определенным свойством или признаком.
Посмотреть Теория категорий и Класс (математика)
Произведение (теория категорий)
Произведение двух или более объектов — это обобщение в теории категорий таких понятий, как декартово произведение множеств, прямое произведение групп и произведение топологических пространств.
Посмотреть Теория категорий и Произведение (теория категорий)
Предел (теория категорий)
Преде́л в теории категорий — понятие, обобщающее свойства таких конструкций, как произведение, декартов квадрат и обратный предел.
Посмотреть Теория категорий и Предел (теория категорий)
Объект категории
Объе́кт катего́рии — базовое, неопределяемое понятие теории категорий, применяемое для обозначения элементов категории, в роли которых могут выступать математические объекты, объединяемые заданной категорией в совокупность — таковыми могут быть, например, множества (объекты категории множеств), алгебраические системы определённого класса (например, кольца — объекты категории колец), топологические пространства (объекты категории топологических пространств), схемы (объекты категории схем).
Посмотреть Теория категорий и Объект категории
Ассоциативная операция
Ассоциати́вная опера́ция — это бинарная операция \circ, обладающая ассоциативностью (associatio — соединение), или сочетательностью: Для ассоциативной операции результат вычисления x_1\circ x_2\circ\ldots\circ x_n не зависит от порядка вычисления (расстановки скобок), и потому позволяется опускать скобки в записи.
Посмотреть Теория категорий и Ассоциативная операция
Абелева категория
Абелева категория — категория, в которой морфизмы можно складывать, а ядра и коядра существуют и обладают определёнными удобными свойствами.
Посмотреть Теория категорий и Абелева категория
Алгебраическая геометрия
Эудженио Тольятти. Алгебраическая геометрия — раздел математики, который объединяет алгебру и геометрию.
Посмотреть Теория категорий и Алгебраическая геометрия
Наука (издательство)
Профсоюзная, д.nbsp90 — здание издательства «Наука» Издательство «Нау́ка» (полное наименование — Академический научно-издательский, производственно-полиграфический и книгораспространительский центр Российской академии наук «Издательство „Наука“», сокращённое наименование — ФГУП «Издательство „Наука“») — советское и российское академическое издательство книг и журналов.
Посмотреть Теория категорий и Наука (издательство)
Начальный и терминальный объекты
В теории категорий начальный (отталкивающий) объект категории C — это её объект I, такой что для любого объекта X в C существует единственный морфизм I → X. Двойственное определение — терминальный (притягивающий) объект: T — терминальный, если для любого объекта X в C существует единственный морфизм X → T.
Посмотреть Теория категорий и Начальный и терминальный объекты
Система Цермело — Френкеля
Система аксиом Цермело — Френкеля (ZF) является стандартной системой аксиом для теории множеств.
Посмотреть Теория категорий и Система Цермело — Френкеля
Сопряжённые функторы
Сопряжённые функторы — пара функторов, состоящих в определённом соотношении между собой.
Посмотреть Теория категорий и Сопряжённые функторы
Универсальное свойство
Во многих областях математики полезную конструкцию часто можно рассматривать как «наиболее эффективное решение» определенной проблемы.
Посмотреть Теория категорий и Универсальное свойство
Функтор (математика)
Функтор — особый тип отображений между категориями.
Посмотреть Теория категорий и Функтор (математика)
Функциональное программирование
Функциона́льное программи́рование — раздел дискретной математики и парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних (в отличие от функций как подпрограмм в процедурном программировании).
Посмотреть Теория категорий и Функциональное программирование
Элементарный топос
Элемента́рный то́пос — категория, в некотором смысле похожая на категорию множеств, основной предмет изучения теории топосов.
Посмотреть Теория категорий и Элементарный топос
Эпиморфизм
Эпиморфи́зм в категории ― морфизм m:A\to B, такой что из всякого равенства f\circ m.
Посмотреть Теория категорий и Эпиморфизм
Математический объект
Математи́ческий объе́кт — абстрактный объект, определяемый и изучаемый в математике (или в философии математики).
Посмотреть Теория категорий и Математический объект
Монада (математика)
Монада в теории категорий — тройка (T, \eta, \mu), где.
Посмотреть Теория категорий и Монада (математика)
Моноидальная категория
Моноидальная категория (или тензорная категория) — категория, снабженная бифунктором который ассоциативен с точностью до естественного изоморфизма, а также объектом, который является единицей для также с точностью до естественного изоморфизма.
Посмотреть Теория категорий и Моноидальная категория
Мономорфизм
Мономорфи́зм ― морфизм m:A\to B категории \mathcal C, такой что из всякого равенства m\circ f.
Посмотреть Теория категорий и Мономорфизм
Изоморфизм
Изоморфи́зм (от ἴσος — «равный, одинаковый, подобный» и μορφή — «форма») — это очень общее понятие, которое определяется по-разному в различных разделах математики.
Посмотреть Теория категорий и Изоморфизм
Биморфизм
Биморфи́зм — морфизм категории, являющийся мономорфизмом и эпиморфизмом одновременно, то есть морфизм, на который можно сокращать как слева, так и справа, теоретико-категорное обобщение понятия биективного отображения.
Посмотреть Теория категорий и Биморфизм
Гомологическая алгебра
Гомологическая алгебра — ветвь алгебры, изучающая алгебраические объекты, заимствованные из алгебраической топологии.
Посмотреть Теория категорий и Гомологическая алгебра
Гомоморфизм групп
смежным классом '''N'''. В математике, если заданы две группы (G, ∗) и (H, •), гомоморфизм групп из (G, ∗) в (H, •) — это функция h: G → H, такая, что для всех u и v из G выполняется где групповая операция слева от знака ".
Посмотреть Теория категорий и Гомоморфизм групп
Двойственность (теория категорий)
Двойственность в теории категорий — соотношение между свойствами категории и так называемыми двойственными свойствами двойственной категории.
Посмотреть Теория категорий и Двойственность (теория категорий)
См. также
Основания математики
- Гомотопическая теория типов
- Зависимый тип
- Категория множеств
- Основания геометрии
- Основания математики
- Система Цермело — Френкеля
- Система аксиом фон Неймана — Бернайса — Гёделя
- Теория категорий
Также известен как Морфизм, Категория (математика), Категория (теория категорий), Локально малая категория.