Более быстрый доступ, чем браузер!
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 выполняется где групповая операция слева от знака ".
Новый!!: Теория категорий и Гомоморфизм групп · Узнать больше »
Двойственность (теория категорий)
Двойственность в теории категорий — соотношение между свойствами категории и так называемыми двойственными свойствами двойственной категории.
Новый!!: Теория категорий и Двойственность (теория категорий) · Узнать больше »
Перенаправления здесь:
Морфизм, Категория (математика), Категория (теория категорий), Локально малая категория.
