Универсальная собственность
Универсальное свойство Категория — это математическая структура, объединяющая объекты и морфизмы. Функтор — это отображение между категориями, сохраняющее структуру. Тензорная […]
Универсальное свойство Категория — это математическая структура, объединяющая объекты и морфизмы. Функтор — это отображение между категориями, сохраняющее структуру. Тензорная […]
Противоположная категория В теории категорий противоположная категория формируется путем изменения морфизмов. Повторное обращение приводит к получению исходной категории. Примеры включают
Раздел (теория категорий) Ретракция в теории категорий — это отображение, которое превращает эпиморфизм в изоморфизм. Сечение также является эпиморфизмом и
Автоморфизм Автоморфизм — преобразование, сохраняющее структуру объекта. В математике автоморфизмы играют важную роль в теории Галуа и изучении расширений алгебраических
Эндоморфизм Эндоморфизм — переход математического объекта к самому себе. Эндоморфизм, являющийся изоморфизмом, является автоморфизмом. Эндоморфизмы существуют в любой категории. В
Изоморфизм Равенство и изоморфизм являются важными понятиями в математике. Равенство двух объектов означает, что они имеют одинаковые свойства и могут
Эпиморфизм Эпиморфизм — это отображение, которое является сюръективным и имеет правый обратный. В теории категорий эпиморфизмы играют важную роль в
Мономорфизм Мономорфизм — отображение, которое является инъективным и сюръективным одновременно. В топосе каждая моно-карта является эквалайзером, а изоморфизм является моническим.
Идентичность (математика) Тождество в математике связывает математические выражения, определяющие одинаковые функции для всех значений переменных. Тождества могут быть обозначены символом
Бинарная операция Бинарная операция — это операция, которая принимает два аргумента и возвращает значение. Примеры бинарных операций включают сложение, умножение
Карта (математика) В математике карта или картографирование — это функция в ее общем смысле. Термин «отображение» может использоваться для обозначения
Класс (теория множеств) Классы в теории множеств служат способом создания коллекций, отличающихся от множеств для избежания парадоксов. Точное определение понятия
Математические операторы (блок Unicode) Математические операторы являются блоком в Юникоде, содержащим символы для математической, логической и заданной нотации. Отсутствуют знаки
Математические операторы и символы в Unicode Стандарт Unicode кодирует почти все стандартные символы, используемые в математике. Технический отчет Unicode №25
Геометрические фигуры (блок Юникода) Геометрические фигуры — блок в Юникоде с 96 символами в диапазоне кодовых точек U+25A0-25FF. U+25A0-U+25CF отображает
Стрелка (символ) Стрелка — графический символ или пиктограмма для указания направления. В простейшей форме стрелка представляет собой треугольник, шеврон или
Элемент идентификации Идентификационный элемент или нейтральный элемент двоичной операции оставляет неизменным каждый элемент при выполнении операции. Термин «элемент идентификации» часто
Ассоциативное свойство Ассоциативность — свойство бинарных операций, заключающееся в том, что порядок вычисления не влияет на результат. В математике и
Функциональный состав Композиция функций — это операция, при которой одна функция применяется к результату другой функции. Композиция функций может быть